Consistentie (logica)
Consistent betekent in de logica: innerlijk samenhangend en niet tegenstrijdig, inconsistent is daarvan het antoniem en betekent: tegenstrijdig en niet innerlijk samenhangend.
Kurt Gödel heeft bewezen dat geen enkel systeem dat de wiskunde probeert te formaliseren zowel consistent als compleet kan zijn. Dit heet de onvolledigheidsstelling.
Zie ook
 |
Wikiquote heeft een verzameling Engelstalige citaten gerelateerd aan Consistency. |
 |
Zoek consistentie op in het WikiWoordenboek. |
This article is issued from
Wikipedia.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.