Algemeen Verdieping
Foto's Uitgelicht Links
Zoek
Registreer Aanmelden

Re : Enfin, dat er geen zekerheden bestaan, ook niet in de wiskun

Bericht van: Remko (Gouda) , 16-09-2010 09:34 

de werd bijna een eeuw geleden al door Gödel bewezen.


Zo zit dat niet helemaal. Gödel bewees dat niet alle stellingen die in de predikatenlogica (of getallentheorie) geformuleerd kunnen worden ook bewezen kunnen worden. Dezen zouden de status van axioma (kunnen) hebben. De stellingen die wel zijn bewezen, zijn met volkomen zekerheid waar. Maar zolang je voor een nieuwe stelling nog geen bewijs hebt gevonden, weet je nooit zeker of er ook werkelijk een bewijs voor te vinden is. In de praktijk lijkt dit de wiskunde niet erg dwars te liggen.

En mijn kat heet al meer dan twaalf jaar Gödel 🙂
Bericht laatst bijgewerkt: 16-09-2010 17:35
RR
 
  antwoorden




Klimaatgek, voor wie op de hoogte wil zijn (edit)   ( 1011)
Cees-Rotterdam -- 14-09-2010 23:50
De 6e wet van Ome Henk   ( 491)
Henk L. (Groningen) -- 15-09-2010 00:53
Het gaat om ethiek   ( 171)
Lennart (Ottersum) ( 14m) -- 15-09-2010 09:48
Re : Het gaat om ethiek   ( 67)
Sjoerd (Leidschendam, ZH) -- 15-09-2010 13:27
Re : Het gaat om ethiek   ( 68)
VdeV(Heerenveen) -- 15-09-2010 13:42
ik zou zeggen de mensheid   ( 66)
sebastiaan (bussum) -- 15-09-2010 13:58
De advocaat van de duivel van de broeikasgelovigen   ( 450)
VdeV(Heerenveen) -- 15-09-2010 03:40
Doet me denken aan het onderwerp politiek.   ( 169)
Dirk (Sneek) ( 1m) -- 15-09-2010 09:43
Re : Over feiten en onzin   ( 35)
Cees-Rotterdam -- 16-09-2010 14:23
Re : Doet me denken aan het onderwerp politiek.   ( 104)
Ernest (Maassluis) -- 15-09-2010 11:36
Re : Doet me denken aan het onderwerp politiek.   ( 92)
Willem (Groningen) -- 15-09-2010 11:45
Re : Doet me denken aan het onderwerp politiek.   ( 71)
Ernest (Maassluis) -- 15-09-2010 12:36
Re : Doet me denken aan het onderwerp politiek.   ( 36)
Cees-Rotterdam -- 16-09-2010 14:32
Re : Doet me denken aan het onderwerp politiek.   ( 40)
Willem (Groningen) -- 16-09-2010 19:11
Re : Doet me denken aan het onderwerp politiek.   ( 18)
Cees-Rotterdam -- 17-09-2010 10:27
Re : Broeikaseffect   ( 27)
Cees-Rotterdam -- 17-09-2010 09:59
Re : Doelstelling [edit]   ( 22)
Cees-Rotterdam -- 17-09-2010 10:32
Re : De advocaat van de duivel van de broeikasgelovigen   ( 153)
Ernest (Maassluis) -- 15-09-2010 11:10
Re : De advocaat van de duivel van de broeikasgelovigen   ( 107)
David (Beersel) -- 15-09-2010 11:42
Re : De advocaat van de duivel van de broeikasgelovigen   ( 87)
Paul (Jaarsveld, Utrecht) ( 1m) -- 15-09-2010 12:50
Re : De advocaat van de duivel van de broeikasgelovigen   ( 71)
David (Beersel) -- 15-09-2010 12:59
Re : De advocaat van de duivel van de broeikasgelovigen   ( 67)
Paul (Jaarsveld, Utrecht) ( 1m) -- 15-09-2010 13:05
Re : De advocaat van de duivel van de broeikasgelovigen   ( 84)
David (Beersel) -- 15-09-2010 14:50
Re : De advocaat van de duivel van de broeikasgelovigen   ( 50)
Rutger (Meppel) -- 15-09-2010 15:05
Re : De advocaat van de duivel van de broeikasgelovigen   ( 50)
David (Beersel) -- 15-09-2010 15:18
Re : De advocaat van de duivel van de broeikasgelovigen   ( 53)
Paul (Jaarsveld, Utrecht) ( 1m) -- 15-09-2010 15:23
Re : De advocaat van de duivel van de broeikasgelovigen   ( 46)
David (Beersel) -- 15-09-2010 15:43
Re : De advocaat van de duivel van de broeikasgelovigen   ( 39)
Paul (Jaarsveld, Utrecht) ( 1m) -- 15-09-2010 16:50
Re : De advocaat van de duivel van de broeikasgelovigen   ( 33)
David (Beersel) -- 15-09-2010 17:27
Re : De advocaat van de duivel van de broeikasgelovigen   ( 39)
Paul (Jaarsveld, Utrecht) ( 1m) -- 15-09-2010 17:51
Re : De advocaat van de duivel van de broeikasgelovigen   ( 46)
David (Beersel) -- 15-09-2010 18:12
Re : De advocaat van de duivel van de broeikasgelovigen   ( 37)
Paul (Jaarsveld, Utrecht) ( 1m) -- 15-09-2010 20:31
Bedankt   ( 45)
Rutger (Meppel) -- 15-09-2010 15:40
Re : Bedankt   ( 52)
David (Beersel) -- 15-09-2010 16:15
Artikel uit EOS   ( 77)
David (Beersel) -- 15-09-2010 15:34
Re : Artikel uit EOS   ( 57)
Marcus (Sleidinge) ( 6m) -- 15-09-2010 16:40
Re : Artikel uit EOS   ( 37)
David (Beersel) -- 15-09-2010 17:04
Re : De advocaat van de duivel van de broeikasgelovigen   ( 98)
Ernest (Maassluis) -- 15-09-2010 12:12
Re : De advocaat van de duivel van de broeikasgelovigen   ( 85)
David (Beersel) -- 15-09-2010 12:34
Re : De advocaat van de duivel van de broeikasgelovigen   ( 86)
Ernest (Maassluis) -- 15-09-2010 12:40
Re : De advocaat van de duivel van de broeikasgelovigen   ( 79)
David (Beersel) -- 15-09-2010 13:10
Re : De advocaat van de duivel van de broeikasgelovigen   ( 71)
Ernest (Maassluis) -- 15-09-2010 13:51
Re : De advocaat van de duivel van de broeikasgelovigen   ( 65)
David (Beersel) -- 15-09-2010 14:16
Re : De advocaat van de duivel van de broeikasgelovigen   ( 36)
Ernest (Maassluis) -- 15-09-2010 19:44
Re : De advocaat van de duivel van de broeikasgelovigen   ( 42)
VdeV(Heerenveen) -- 15-09-2010 18:00
Mee eens...   ( 276)
Frank (Doetinchem) ( 14m) -- 15-09-2010 08:37
Re : Mee eens...   ( 122)
Peter (Mariakerke bij Gent) ( 7m) -- 15-09-2010 11:17
Re : Mee eens...   ( 87)
Willem (Groningen) -- 15-09-2010 11:51
Re :   ( 20)
Cees-Rotterdam -- 17-09-2010 09:59
Re : Mee eens...   ( 25)
Peter (Mariakerke bij Gent) ( 7m) -- 17-09-2010 00:37
Re : Mee eens...   ( 25)
Remko (Gouda) -- 17-09-2010 10:09
Re : Mee eens...   ( 112)
Ernest (Maassluis) -- 15-09-2010 11:26
Re : De advocaat van de duivel van de broeikasgelovigen   ( 40)
Cees-Rotterdam -- 15-09-2010 23:10
Bescheidenheid?   ( 325)
Willem (Groningen) -- 15-09-2010 08:35
Re : Bescheidenheid?   ( 89)
Paul (Jaarsveld, Utrecht) ( 1m) -- 15-09-2010 12:10
Re : Bescheidenheid?   ( 60)
Willem (Groningen) -- 15-09-2010 14:46
Re : Bescheidenheid?   ( 56)
Paul (Jaarsveld, Utrecht) ( 1m) -- 15-09-2010 15:18
LOL! Laat Gödel het niet horen   ( 81)
Wallie (Lelystad) -- 15-09-2010 16:15
Re : LOL! Laat Gödel het niet horen   ( 56)
Paul (Jaarsveld, Utrecht) ( 1m) -- 15-09-2010 17:31
Re : LOL! Laat Gödel het niet horen   ( 47)
Wallie (Lelystad) -- 15-09-2010 18:37
Re : LOL! Laat Gödel het niet horen   ( 27)
Remko (Gouda) -- 16-09-2010 19:11
Re : LOL! Laat Gödel het niet horen   ( 39)
Paul (Jaarsveld, Utrecht) ( 1m) -- 15-09-2010 21:02
Re : LOL! Laat Gödel het niet horen   ( 22)
Wallie (Lelystad) -- 17-09-2010 00:56
Re : LOL! Laat Gödel het niet horen   ( 22)
Remko (Gouda) -- 17-09-2010 09:42
Re : LOL! Laat Gödel het niet horen   ( 11)
Wallie (Lelystad) -- 17-09-2010 17:05
Re : Geheim?   ( 14)
Cees-Rotterdam -- 17-09-2010 11:32
  Mooi verhaal Willem!  
Wallie (Lelystad) -- 15-09-2010 10:47
  Helemaal mee eens Willem...  
Frank (Doetinchem) ( 14m) -- 15-09-2010 08:38
interessant Frank,   ( 162)
Willem (Groningen) -- 15-09-2010 09:09
Re : Bescheidenheid?   ( 105)
Ernest (Maassluis) -- 15-09-2010 11:59
Re : Bescheidenheid?   ( 81)
Willem (Groningen) -- 15-09-2010 12:09
Re : Bescheidenheid?   ( 84)
Ernest (Maassluis) -- 15-09-2010 12:59
Enfin, dat er geen zekerheden bestaan, ook niet in de wiskun   ( 65)
Wallie (Lelystad) -- 15-09-2010 14:16
Re : Enfin, dat er geen zekerheden bestaan, ook niet in de wiskun   ( 36)
Remko (Gouda) -- 16-09-2010 09:34
Hmm, hopeloos volgens mij   ( 34)
Wallie (Lelystad) -- 17-09-2010 00:52
Re : Hmm, hopeloos volgens mij   ( 28)
Remko (Gouda) -- 17-09-2010 09:15
Re : Wie is hier onbescheiden?   ( 33)
Cees-Rotterdam -- 16-09-2010 16:16
Re : Wie is hier onbescheiden?   ( 44)
Willem (Groningen) -- 16-09-2010 19:25
Re : Wie is hier onbescheiden?   ( 22)
Remko (Gouda) -- 17-09-2010 09:18
Re : Eerste graad?   ( 24)
Cees-Rotterdam -- 17-09-2010 10:19
Re : Eerste graad?   ( 21)
Remko (Gouda) -- 17-09-2010 10:29
Re : Wie is hier onbescheiden?   ( 24)
Cees-Rotterdam -- 17-09-2010 09:32
Re : Wie is hier onbescheiden?   ( 21)
Remko (Gouda) -- 17-09-2010 09:44
  We zoeken het op:  
Takkie (Amstelveen) -- 15-09-2010 09:43