# 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 ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.