Property Value
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. (hu)
  • 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. (hu)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 99087 (xsd:integer)
dbo:wikiPageLength
  • 18780 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 22142413 (xsd:integer)
prop-hu:date
  • 2018 (xsd:integer)
prop-hu:url
prop-hu:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Gödel ontológiai istenérve (hu)
  • Gödel ontológiai istenérve (hu)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is foaf:primaryTopic of