From Foundations to Science: Justifying and Unwinding Proofs
Zbornik Radova (1977)
- Issue: 10, page 63-72
- ISSN: 0351-9406
Access Full Article
top
How to cite
topGeorg Kreisel. "From Foundations to Science: Justifying and Unwinding Proofs." Zbornik Radova (1977): 63-72. <http://eudml.org/doc/256840>.
@article{GeorgKreisel1977,
author = {Georg Kreisel},
journal = {Zbornik Radova},
keywords = {Hilbert's program; proof theory; K-theory; real closed fields; division algebras; Ramsey's theorem; mechanical unwinding of proofs; automatic theorem-proving},
language = {eng},
number = {10},
pages = {63-72},
publisher = {Matematički institut SANU},
title = {From Foundations to Science: Justifying and Unwinding Proofs},
url = {http://eudml.org/doc/256840},
year = {1977},
}
TY - JOUR
AU - Georg Kreisel
TI - From Foundations to Science: Justifying and Unwinding Proofs
JO - Zbornik Radova
PY - 1977
PB - Matematički institut SANU
IS - 10
SP - 63
EP - 72
LA - eng
KW - Hilbert's program; proof theory; K-theory; real closed fields; division algebras; Ramsey's theorem; mechanical unwinding of proofs; automatic theorem-proving
UR - http://eudml.org/doc/256840
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.