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.
Nový!!: Gödelova veta a Axióma · Pozrieť viac »
Gödelova veta o neúplnosti
Gödelova veta o neúplnosti je matematická veta.
Nový!!: Gödelova veta a Gödelova veta o neúplnosti · Pozrieť viac »
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.
Nový!!: Gödelova veta a Kurt Gödel · Pozrieť viac »
Logika
Logika (z gr. slova λόγος logos) je veda zaoberajúca sa vyplývaním.
Nový!!: Gödelova veta a Logika · Pozrieť viac »
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. najväčšie mesto na Slovensku").
Nový!!: Gödelova veta a Prirodzené číslo · Pozrieť viac »
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.
Nový!!: Gödelova veta a Teoréma · Pozrieť viac »
Umelá inteligencia
Umelá inteligencia alebo umelý intelekt (skratka UI resp. AI z) je všeobecne.