Gyorsabb hozzáférés, mint a böngésző!
20 kapcsolatok: Anzelm ontológiai istenérve, Axiomatikus-deduktív módszer, Elsőrendű logika, Euklideszi geometria, Gödel teljességi tétele, Gottfried Leibniz, Isten, Kurt Gödel, Logika, Magyar Filozófiai Szemle, Matematikai logika, Modális logika, Ontológia, Ontológiai istenérv, Pont (geometria), Premissza, 1940, 1970, 1978, 1987.
Anzelm ontológiai istenérve
Canterburyi Szent Anzelm Canterburyi Szent Anzelm (1033–1109) istenérve, az Argumentum Anselmianum (latin, „anzelmi érv”) az ontológiai istenérvek közül a legkorábbi ismert és talán leghíresebb.
Új!!: Gödel ontológiai istenérve és Anzelm ontológiai istenérve · Többet látni »
Axiomatikus-deduktív módszer
Az axiomatikus-deduktív módszer fő vonalakban már a Kr.
Új!!: Gödel ontológiai istenérve és Axiomatikus-deduktív módszer · Többet látni »
Elsőrendű logika
Az elsőrendű logika a matematikai logikának az elsőrendű nyelvekkel foglalkozó ága.
Új!!: Gödel ontológiai istenérve és Elsőrendű logika · Többet látni »
Euklideszi geometria
A görög tudósok az egyiptomi geométerek – földmérők – tapasztalatainak rendszerezésével olyan tudományt alkottak, amelyet ma geometriának nevezünk.
Új!!: Gödel ontológiai istenérve és Euklideszi geometria · Többet látni »
Gödel teljességi tétele
Gödel teljességi tétele a matematikai logika fontos tétele, azt mondja ki, hogy ha egy elsőrendű elméletben egy tetszőleges mondat minden modellben igaz, akkor bizonyítható is.
Új!!: Gödel ontológiai istenérve és Gödel teljességi tétele · Többet látni »
Gottfried Leibniz
#ÁTIRÁNYÍTÁS Gottfried Wilhelm Leibniz.
Új!!: Gödel ontológiai istenérve és Gottfried Leibniz · Többet látni »
Isten
Isten fogalma a monoteista hívők szerint azon természetfeletti lényt jelenti, aki a világegyetemet teremtette, és/vagy annak működését, történéseit irányítja vagy ellenőrzi.
Új!!: Gödel ontológiai istenérve és Isten · Többet látni »
Kurt Gödel
Kurt Gödel (Brünn, 1906. április 28. – Princeton, New Jersey, 1978. január 14.) osztrák matematikus, logikus és tudományfilozófus.
Új!!: Gödel ontológiai istenérve és Kurt Gödel · Többet látni »
Logika
A logika az érvényes következtetések és bizonyítások, illetve az ezzel összefüggő filozófiai, matematikai, nyelvészeti és tudományos módszertani kérdések tudománya.
Új!!: Gödel ontológiai istenérve és Logika · Többet látni »
Magyar Filozófiai Szemle
A Magyar Filozófiai Szemle (angolul Hungarian Philosophical Review) a Magyar Tudományos Akadémia (MTA) Filozófiai Bizottságának (korábban Intézetének) folyóirata.
Új!!: Gödel ontológiai istenérve és Magyar Filozófiai Szemle · Többet látni »
Matematikai logika
A matematikai logika a matematika egyik fejezete, a matematikai rendszereket, a matematikai bizonyításokat matematikai módszerekkel vizsgálja.
Új!!: Gödel ontológiai istenérve és Matematikai logika · Többet látni »
Modális logika
A modális logikai négyszög A modális logika a klasszikus logika olyan bővítése, amely már modális kijelentéseket is tartalmaz.
Új!!: Gödel ontológiai istenérve és Modális logika · Többet látni »
Ontológia
Christian Wolff: ''Philosophia Prima Sive Ontologia'' című művének első oldala, 1730 - Ez volt az első olyan filozófiai mű amely címszavában szerepelt az „Ontológia” szó. Az ontológia, más néven léttan, lételmélet, létfilozófia vagy általános metafizika, az a filozófiai tudomány, amely a léttel mint létezők alapjával foglalkozik, azaz elsősorban nem a létezőről, hanem a létről szóló tudomány.
Új!!: Gödel ontológiai istenérve és Ontológia · Többet látni »
Ontológiai istenérv
Az ontológiai istenérv teológiai és filozófiai fogalom, egy kísérlet Isten létezésének bizonyítására.
Új!!: Gödel ontológiai istenérve és Ontológiai istenérv · Többet látni »
Pont (geometria)
Pontok jelölése egy elforgatást szemléltető ábrán A pont a geometria egyik alapfogalma.
Új!!: Gödel ontológiai istenérve és Pont (geometria) · Többet látni »
Premissza
A premissza előzmény, alapinformáció, kiindulópont.
Új!!: Gödel ontológiai istenérve és Premissza · Többet látni »
1940
Nincs leírás.
Új!!: Gödel ontológiai istenérve és 1940 · Többet látni »
1970
Nincs leírás.
Új!!: Gödel ontológiai istenérve és 1970 · Többet látni »
1978
Nincs leírás.
Új!!: Gödel ontológiai istenérve és 1978 · Többet látni »
1987
Nincs leírás.
