| Property |
Value |
| dbo:abstract
|
- A bizonyíthatósági logika a modális logika egyik fejezete, amelyben egy modális kijelentés olyan módon igaz, hogy bizonyítható egy formális rendszerben, pl. egy (intuicionista) logikában, Peano-aritmetikában, halmazelméletben. A bizonyíthatósági logika célja tehát egy adott formális rendszerben a bizonyíthatóság-fogalom megragadása. A bizonyíthatóságot e nyelvben egy jellel szokás jelölni, és leggyakrabban „boksz”-nak szokás mondani. A bizonyíthatósági logika megjelenését Kurt Gödel egy 1933-as cikkéhez szokás kapcsolni, melyben egy modális logika és az intuicionista logika kapcsolatával foglalkozik. A bizonyíthatósági logika leghíresebb eredményét, mely arról szólt, hogy a Peano-aritmetika bizonyíthatóság-fogalma pontosan megragadható egy modális logikával, Robert Martin Solovay publikálta 1976-ban. (hu)
- A bizonyíthatósági logika a modális logika egyik fejezete, amelyben egy modális kijelentés olyan módon igaz, hogy bizonyítható egy formális rendszerben, pl. egy (intuicionista) logikában, Peano-aritmetikában, halmazelméletben. A bizonyíthatósági logika célja tehát egy adott formális rendszerben a bizonyíthatóság-fogalom megragadása. A bizonyíthatóságot e nyelvben egy jellel szokás jelölni, és leggyakrabban „boksz”-nak szokás mondani. A bizonyíthatósági logika megjelenését Kurt Gödel egy 1933-as cikkéhez szokás kapcsolni, melyben egy modális logika és az intuicionista logika kapcsolatával foglalkozik. A bizonyíthatósági logika leghíresebb eredményét, mely arról szólt, hogy a Peano-aritmetika bizonyíthatóság-fogalma pontosan megragadható egy modális logikával, Robert Martin Solovay publikálta 1976-ban. (hu)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 20279 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| prop-hu:author
|
- George Boolos (hu)
- Sergei N. Artemov, Lev. D. Beklemishev (hu)
- George Boolos (hu)
- Sergei N. Artemov, Lev. D. Beklemishev (hu)
|
| prop-hu:editor
|
- Solomon Feferman (hu)
- Solomon Feferman (hu)
|
| prop-hu:isbn
| |
| prop-hu:language
|
- angol (hu)
- angol, német (hu)
- angol (hu)
- angol, német (hu)
|
| prop-hu:location
|
- New York (hu)
- Oxford (hu)
- New York (hu)
- Oxford (hu)
|
| prop-hu:pages
| |
| prop-hu:publisher
|
- Oxford University Press (hu)
- Cambridge University Press (hu)
- Oxford University Press (hu)
- Cambridge University Press (hu)
|
| prop-hu:title
|
- Collected Works (hu)
- Provability Logic (hu)
- The Logic of Provability (hu)
- Collected Works (hu)
- Provability Logic (hu)
- The Logic of Provability (hu)
|
| prop-hu:url
| |
| prop-hu:wikiPageUsesTemplate
| |
| prop-hu:year
|
- 1986 (xsd:integer)
- 1993 (xsd:integer)
|
| dct:subject
| |
| rdfs:label
|
- Bizonyíthatósági logika (hu)
- Bizonyíthatósági logika (hu)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is foaf:primaryTopic
of | |
