Obsah
7 vzťahy: Axióma, Gödelova veta o neúplnosti, Kurt Gödel, Logika, Prirodzené číslo, Teoréma, Umelá inteligencia.
Axióma
Axióma (slovo je žen. rodu; nesprávne: axióm, zastarano: axiom) alebo postulát je základná veta systému teórií, z ktorej sa pomocou pravidla odlúčenia dokazujú ostatné vety či teorémy daného systému.
Pozrieť Gödelova veta a Axióma
Gödelova veta o neúplnosti
Gödelova veta o neúplnosti je matematická veta.
Pozrieť Gödelova veta a Gödelova veta o neúplnosti
Kurt Gödel
Kurt Gödel (* 28. apríl 1906, Brno – † 14. január 1978, Princeton, New Jersey, USA) bol rakúsko-uhorský, neskôr americký logik, matematik a matematický filozof, súkromný docent Viedenskej univerzity (1933 – 1938), od 1953 profesor Princetonského inštitútu pokročilých štúdií, člen Národnej Akadémie vied USA a Americkej filozofickej spoločnosti.
Pozrieť Gödelova veta a Kurt Gödel
Logika
Logika (z gr. slova λόγος logos) je veda zaoberajúca sa vyplývaním.
Pozrieť Gödelova veta a Logika
Prirodzené číslo
Pojem prirodzené číslo može znamenať buď kladné celé číslo (1, 2, 3,...) alebo nezáporné celé číslo (0, 1, 2, 3,...). Prirodzené čísla majú dve hlavné použitia: počítanie ("na stole sú 3 jablká") alebo poradie ("toto je 3.
Pozrieť Gödelova veta a Prirodzené číslo
Teoréma
Teoréma je v logike veta / výrok / poučka, získaná z axióm vedeckej teórie, alebo všeobecnejšie z axióm a výrokov skôr dokázaných.
Pozrieť Gödelova veta a Teoréma
Umelá inteligencia
Umelá inteligencia alebo umelý intelekt (skratka UI resp. AI z) je všeobecne.