|
|||||
|
|
Hilbert's Program Revisited |
|
| Authors: | Raatikainen Panu |
| Affiliation: | (1) Helsinki Collegium for Advanced Studies, University of Helsinki, P.O. Box 4, FIN-00014, Finland E-mail |
| Abstract: | After sketching the main lines of Hilbert's program, certain well-known andinfluential interpretations of the program are critically evaluated, and analternative interpretation is presented. Finally, some recent developments inlogic related to Hilbert's program are reviewed. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |