## Gödel '96: logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedingsThis is a proceedings volume of the conference celebrating the 90th anniversary of the birth of Kurt Goedel. The conference has been recognized as an ASL sponsored meeting. Invited papers and contributed papers concern mainly mathematical logic but also philosophy of mathematics, computer science and physics and are devoted to topics related to Goedel's work and reflect the present state of knowledge domains deeply influenced by Goedel. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Infinitevalued Godel Logics with 01Projections | 23 |

Kurt Godel and the constructive Mathematics of A | 50 |

Hao Wang as Philosopher | 64 |

Copyright | |

12 other sections not shown

### Other editions - View all

Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics ... Petr Hájek No preview available - 2001 |

### Common terms and phrases

A. A. Markov algorithm analysis apply argument assume atoms axiomatic axioms bisimulation bounded arithmetic bounded formula bounded quantifiers cardinals causality Collection Scheme complete computor concept consider consistency constructive cosmology defined denote Einstein elementary Ellis equations equivalent exists extended Feferman finite first-order formal system fuzzy Godel graph Hence Herbrand Herbrand universe hierarchy honest degrees honest function implies induction hypothesis infinite intuition K-graph machines Kurt Godel Kushner large cardinal Lemma logic programming Markov Math mathematics method modal logic natural numbers Note notion obtain operations ordinal paper Peano arithmetic Philosophy physics polynomial predicate principle problem proof system Proof Theory propositional calculus prove quantifiers recursive functions recursive index relation rotating rule S4Grz satisfiable sentences sequence set theory solution space-time structure subset Suppose Symbolic Logic Theorem thesis tion Turing machine Turing's Uniform Interpolation universe vertex Wang Wang's witnessing triple