This HTML5 document contains 23 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
n9https://web.archive.org/web/20070927005715/http:/asterope.bajaobs.hu/hetesi/honlapra/dokumentumok/PHYS/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n8https://web.archive.org/web/20070106155114/http:/home.fazekas.hu/~lsuranyi/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
n12http://www.ontology.co/
n20http://www.tarot.72.sk/
n10http://epa.oszk.hu/00100/00186/00001/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n11https://web.archive.org/web/20110410182503/http:/www.stats.uwaterloo.ca/~cgsmall/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n18http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
n19http://plato.stanford.edu/entries/ontological-arguments/
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Gödel_ontológiai_istenérve
rdfs:label
Gödel ontológiai istenérve
owl:sameAs
freebase:m.03855
dct:subject
n4:Logika n4:Istenérvek n4:Keresztény_teológia
dbo:wikiPageID
99087
dbo:wikiPageRevisionID
22142413
dbo:wikiPageExternalLink
n8:GODEL.htm n9:Meta3b.doc n10:98_csaba.htm n11:ontology.html n12:ontological-proof-contemporary.htm n19:%236 n20:kgi.pdf
prop-hu:wikiPageUsesTemplate
n18:Halott_link n18:Forr
prop-hu:date
2018
prop-hu:url
n12:ontological-proof-contemporary.htm
dbo:abstract
Gödel ontológiai istenérve Isten létezésének egy Kurt Gödel matematikus által adott modális logikai levezetése. Más ontológiai érvekhez hasonlóan Isten létére nem megfigyelésekből, hanem tisztán logikai úton, szükségesnek tartott premisszákból következtet. Gödel a levezetéssel Anzelm ontológiai istenérvét (pontosabban annak Leibniz általi megfogalmazását) öntötte matematikai formába. Bár 1940-től egészen 1978-ban bekövetkezett haláláig többször visszatért a témához, eredményeit sohasem publikálta. 1970-ben, amikor úgy érezte, hogy meg fog halni, osztotta csak meg tudását -tal, aki a programozási logika egyik megalapítója. Dana Scott egyetemi előadásaiban többször is ismertette Gödel elméletét. Gödel eredeti, rendkívül tömör, két oldalas kéziratát csak 1987-ben, kilenc évvel halála után publikálták először.
prov:wasDerivedFrom
wikipedia-hu:Gödel_ontológiai_istenérve?oldid=22142413&ns=0
dbo:wikiPageLength
18780
foaf:isPrimaryTopicOf
wikipedia-hu:Gödel_ontológiai_istenérve
Subject Item
wikipedia-hu:Gödel_ontológiai_istenérve
foaf:primaryTopic
dbpedia-hu:Gödel_ontológiai_istenérve