Principia Mathematica: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k r2.7.1) (Robot: toegevoegd: pt:Principia Mathematica de Whitehead e Russell |
k Linkfix ivm sjabloonnaamgeving / parameterfix |
||
Regel 7:
De [[onvolledigheidsstellingen van Gödel|onvolledigheid]] van het formele systeem van de ''Principia Mathematica'' (en aanverwante systemen), aangetoond door [[Kurt Gödel]] in 1931, betekende vrijwel het einde van het [[logicisme]]: het einddoel van een [[volledig (logica)|volledig]] en bewijsbaar [[consistentie (logica)|consistent]] formeel systeem dat de gehele wiskunde beschrijft, bleek onmogelijk te realiseren.
{{
* A. D. Irvine (2003). ''[http://plato.stanford.edu/entries/principia-mathematica/ Principia Mathematica]''. In Edward N. Zalta, red. ''[[Stanford Encyclopedia of Philosophy]]''. Geraadpleegd 31 maart 2007.
}}
| |||