Gēdela teorēma
type: Concept
created: 2009-11-19
modified: 2022-05-16
alternative label: Gödel's theorem @en
alternative label: Gēdela nepilnības teorēmas
alternative label: Nepilnības teorēmas, Gēdela
alternative label: Teorēma, Gēdela
broader: Aritmētikas pamati
broader: Simboliskā un matemātiskā loģika
broader: Pilnības teorēma
broader: Skaitļu teorija
broader: Nepilnības teorēmas
in scheme: subject
note: Source: Modelēšana kā zinātniskuma kritērijs Kārlis Podnieks (www.ltn.lv/~podnieks/slides/theo/theo.htm) - Google, 2009.11.19.
note: Source: Latvijas padomju enciklopēdija, 1983:
preferred label: Gödel's incompleteness theorems @en

Aritmētikas pamati
type: Concept
narrower: Gēdela teorēma
preferred label: Arithmetic--Foundations @en

Simboliskā un matemātiskā loģika
type: Concept
narrower: Gēdela teorēma
preferred label: Logic, Symbolic and mathematical @en

Pilnības teorēma
type: Concept
narrower: Gēdela teorēma
preferred label: Completeness theorem @en

Skaitļu teorija
type: Concept
narrower: Gēdela teorēma
preferred label: Number theory @en

Nepilnības teorēmas
type: Concept
narrower: Gēdela teorēma
preferred label: Incompleteness theorems @en