%0 Journal Article %1 citeulike:71360 %A Sieg, Wilfried %D 199 %J The Bulletin of Symbolic Logic %K hilbert logic programs %N 1 %P 1--44 %T Hilbert's Programs: 1917--1922 %U http://citeseer.ist.psu.edu/sieg99hilberts.html %V 5 %X . Hilbert's finitist programwas not created at the beginning of the twenties solely to counteract Brouwer's intuitionism, but rather emerged out of broad philosophical reflections on the foundations of mathematics and out of detailed logical work; that is evident from notes of lecture courses that were given by Hilbert and prepared in collaboration with Bernays during the period from 1917 to 1922. These notes reveal a dialectic progression from a critical logicism through a radical...

@article{citeulike:71360, abstract = {. Hilbert's finitist programwas not created at the beginning of the twenties solely to counteract Brouwer's intuitionism, but rather emerged out of broad philosophical reflections on the foundations of mathematics and out of detailed logical work; that is evident from notes of lecture courses that were given by Hilbert and prepared in collaboration with Bernays during the period from 1917 to 1922. These notes reveal a dialectic progression from a critical logicism through a radical...}, added-at = {2007-08-18T13:22:24.000+0200}, author = {Sieg, Wilfried}, biburl = {https://www.bibsonomy.org/bibtex/25de32d6cea95dacedb135ae9a373dab5/a_olympia}, citeulike-article-id = {71360}, description = {citeulike}, interhash = {357b47ddd6ee9445c8d4c5c81a418c0f}, intrahash = {5de32d6cea95dacedb135ae9a373dab5}, journal = {The Bulletin of Symbolic Logic}, keywords = {hilbert logic programs}, number = 1, pages = {1--44}, timestamp = {2007-08-18T13:22:58.000+0200}, title = {Hilbert's Programs: 1917--1922}, url = {http://citeseer.ist.psu.edu/sieg99hilberts.html}, volume = 5, year = 199 }