Feasibly constructive proofs and the propositional calculus (Preliminary Version)
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
Hi-index | 0.00 |
I will start with a brief biographical sketch. Kurt Gödel was born in Brno (Brün in German) in April 28, 1906. At that time it was in the Czech Kingdom which was a part of Austro-Hungarian Monarchy. Not much later, in 1918, Brno was a city in the new formed Czechoslovakia. His family belonged to a large German-speaking population in Brno.