BabelNet

Search

bn:03411111n

Noun Named Entity

Categories: Wiskundige stelling, Filosofie van de wiskunde, Wiskundige logica, Paradox

NL

onvolledigheidsstellingen van Gödel Godel's theorem Godels onvolledigheidsstelling Godels theorem Gödels onvolledigheidsstelling

NL

De onvolledigheidsstellingen van Gödel zijn twee stellingen over de beperkingen van formele systemen, beide bewezen door Kurt Gödel in 1931. Wikipedia

Definitions

Relations

Sources

NL

De onvolledigheidsstellingen van Gödel zijn twee stellingen over de beperkingen van formele systemen, beide bewezen door Kurt Gödel in 1931. Wikipedia

IS A

HAS PART

Gödel's second incompleteness theorem

Godel's first incompleteness theorem

DIFFERENT FROM

volledigheidsstelling van Gödel

NAMED AFTER

PROVED BY

Wikipedia

NL

onvolledigheidsstellingen van Gödel

Wikidata

NL

onvolledigheidsstellingen van Gödel

Wikipedia Redirections

NL

Godel's theorem, Godels onvolledigheidsstelling, Godels theorem, Gödels onvolledigheidsstelling, Incompleetheidstheorema, onvolledigheidsstelling, Onvolledigheidsstelling van Godel, Onvolledigheidsstelling van Gödel, Onvolledigheidsstellingen van Godel, Onvolledigheidsstellingen van Goedel, Stelling van Godel, Stelling van Gödel, Stellingen van Godel, Stellingen van Gödel, Theorem van Godel

Wikidata Alias

NL

Godel's theorem, Godels onvolledigheidsstelling, Godels theorem, Gödels onvolledigheidsstelling, Incompleetheidstheorema, Onvolledigheidsstelling, Onvolledigheidsstelling van Godel, Onvolledigheidsstelling van Gödel, Onvolledigheidsstellingen van Godel, Onvolledigheidsstellingen van Goedel, Stelling van Godel, Stelling van Gödel, Stellingen van Godel, Stellingen van Gödel, Theorem van Godel

Wikipedia Translations

NL

onvolledigheid gödel stelling, onvolledigheid gödel stellingen, onvolledigheid theorema, seconden onvolledigheid gödel's theorema