Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 85836

Gödelov dokaz nepotpunosti

Kovač, Srećko
Gödelov dokaz nepotpunosti // Logika, 1 (2000), 4; 2-12 (podatak o recenziji nije dostupan, članak, pregledni)

CROSBI ID: 85836 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Gödelov dokaz nepotpunosti
(Gödels's incompleteness proof)

Autori
Kovač, Srećko

Izvornik
Logika (1332-2974) 1 (2000), 4; 2-12

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, pregledni

Ključne riječi
K. Gödel; dokaz nepotpunosti; aritmetika prvoga reda; neodlučljivost
(K. Gödel; incompleteness proof; first-order arithmetic; undecidability)

Sažetak
Gödelov dokaz nepotpunosti analizira se u njegovim glavnim koracima: aritmetizacija sintakse aritmetičkoga jezika i izgradnja neodlučljive rečenice u aritmetičkome sustavu. Uvodi se i kontekst Gödelovih fenomenologijskih pogleda.

Izvorni jezik
Hrvatski

Znanstvena područja
Filozofija



POVEZANOST RADA

Projekti:
01910106

Ustanove:
Institut za filozofiju, Zagreb

Profili:

Avatar Url Srećko Kovač (autor)

Citiraj ovu publikaciju:

Kovač, Srećko
Gödelov dokaz nepotpunosti // Logika, 1 (2000), 4; 2-12 (podatak o recenziji nije dostupan, članak, pregledni)
Kovač, S. (2000) Gödelov dokaz nepotpunosti. Logika, 1 (4), 2-12.
@article{article, author = {Kova\v{c}, Sre\'{c}ko}, year = {2000}, pages = {2-12}, keywords = {K. G\"{o}del, dokaz nepotpunosti, aritmetika prvoga reda, neodlu\v{c}ljivost}, journal = {Logika}, volume = {1}, number = {4}, issn = {1332-2974}, title = {G\"{o}delov dokaz nepotpunosti}, keyword = {K. G\"{o}del, dokaz nepotpunosti, aritmetika prvoga reda, neodlu\v{c}ljivost} }
@article{article, author = {Kova\v{c}, Sre\'{c}ko}, year = {2000}, pages = {2-12}, keywords = {K. G\"{o}del, incompleteness proof, first-order arithmetic, undecidability}, journal = {Logika}, volume = {1}, number = {4}, issn = {1332-2974}, title = {G\"{o}dels and \#39;s incompleteness proof}, keyword = {K. G\"{o}del, incompleteness proof, first-order arithmetic, undecidability} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.