A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Gödelova veta (názov podľa Kurta Gödela) je:
- veta, podľa ktorej je predikátový kalkul (s identitou), alebo logika prvého rádu, sémanticky úplný
- veta o neúplnosti axiomatických systémov logiky druhého a vyšších rádov, špeciálne takých systémov, v ktorých možno vybudovať aritmetiku prirodzených čísiel. Podľa Kurta Gödela teda existujú také pravdivé tvrdenia v uvažovanom jazyku, ktoré nie sú teorémy skúmaného systému, t. j. nemožno ich odvodiť z axióm systému. Gödel ukázal, že neúplnosť nemožno odstrániť pripojením ďalších axióm. Postulujú sa tu závažné obmedzenia možností umelej inteligencie, ktoré sú intuitívne zrejmé, napr. vylúčenie univerzálnosti a simulácia intuície
- veta o nemožnosti dokázať bezrozpornosť systémov obsahujúcich aritmetiku len prostriedkami týchto systémov: dôkaz vyžaduje konštrukcie, ktoré nemajú reprezentáciu vo formálnej aritmetike.
Pozri aj
Externé odkazy
- FILIT Zdroj z ktorého (pôvodne) čerpal tento článok
- Godelova veta na http://foja.dcs.fmph.uniba.sk/
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Antropológia
Aplikované vedy
Bibliometria
Dejiny vedy
Encyklopédie
Filozofia vedy
Forenzné vedy
Humanitné vedy
Knižničná veda
Kryogenika
Kryptológia
Kulturológia
Literárna veda
Medzidisciplinárne oblasti
Metódy kvantitatívnej analýzy
Metavedy
Metodika
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk