Arché TWiki > Arche > MathematicsProject > MathFormalism	Arché TWiki webs: Main | Arché | Dept | TWiki | Sandbox
	Arche . { Changes | Search | Go }

A research topic of the MathematicsProject.

Bibliography entries relating to this topic:

• Paul Bernays, "Die Philosophie der Mathematik und die Hilbertsche Beweistheorie", Blätter für Deutsche Philosophie 4 (1930), pp. 326--367
• Paul Bernays, "Hilbert, David", in EdwardsEncyclopediaOfPhilosophy, pp. 496--504
• Michael Hallett, "Hilbert's axiomatic method and the laws of thought", in GeorgeMathematicsAndMind, pp. 158--200
• Michael Hallett, "Hilbert and logic", in MarionQuebecStudiesInThePhilosophy, pp. 135--187
• Michael Hallett, "Physicalism, reductionism, and Hilbert", in IrvinePhysicalismInMathematics, pp. 183--257
• David Hilbert, S. Cohn-Vossen, Anschauliche Geometrie, (Berlin: Springer: 1932)
• David Hilbert, Gesammelte Abhandlungen, (Berlin: Springer: 1935)
• David Hilbert, Paul Bernays, Grundlagen der Mathematik, vol. II, (Berlin: Springer: 1970)
• David Hilbert, "Mathematische Probleme", Bulletin of the American Mathematical Society 8 (1900), pp. 1902
• David Hilbert, "Neubegründung der Mathematik (erste Mitteilung)", Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität 1 (1922), pp. 157-177
• David Hilbert, "Über das Unendliche", Mathematische Annalen 95 (1926), pp. 161--190
• Paul Lorenzen, "Logical reflection and formalism", Journal of Symbolic Logic 23 (1958), pp. 241--249
• Michael Potter, Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap, (Oxford: Oxford University Press: 2000)
• Wilfried Sieg, "Physicalism, reductionism and Hilbert", in IrvinePhysicalismInMathematics, pp. 183--257

Bibliography entries relating to this topic in BibTeX format:

@Article{BernaysDiePhilosophieDerMathematikUnd,
  author = {Paul Bernays},
  title = {Die Philosophie der Mathematik und die Hilbertsche Beweistheorie},
  journal = {Blätter für Deutsche Philosophie},
  year = {1930},
  volume = {4},
  pages = {326--367},
}

@InCollection{BernaysHilbert,
  author = {Paul Bernays},
  title = {Hilbert, David},
  crossref = {EdwardsEncyclopediaOfPhilosophy},
  pages = {496--504},
}

@InCollection{HallettHilbert,
  author = {Michael Hallett},
  title = {Hilbert's axiomatic method and the laws of thought},
  crossref = {GeorgeMathematicsAndMind},
  pages = {158--200},
}

@InCollection{HallettHilbertAndLogic,
  author = {Michael Hallett},
  title = {Hilbert and logic},
  crossref = {MarionQuebecStudiesInThePhilosophy},
  pages = {135--187},
}

@InCollection{HallettPhysicalism,
  author = {Michael Hallett},
  title = {Physicalism, reductionism, and Hilbert},
  crossref = {IrvinePhysicalismInMathematics},
  pages = {183--257},
}

@Book{HilbertAnschaulicheGeometrie,
  author = {David Hilbert, S. Cohn-Vossen},
  title = {Anschauliche Geometrie},
  booktitle = {Anschauliche Geometrie},
  year = {1932},
  publisher = {Springer},
  address = {Berlin},
}

@Book{HilbertGesammelteAbhandlungen,
  author = {David Hilbert},
  title = {Gesammelte Abhandlungen},
  booktitle = {Gesammelte Abhandlungen},
  year = {1935},
  publisher = {Springer},
  address = {Berlin},
}

@Book{HilbertGrundlagenDerMathematik,
  author = {David Hilbert, Paul Bernays},
  title = {Grundlagen der Mathematik, vol. II},
  booktitle = {Grundlagen der Mathematik, vol. II},
  year = {1970},
  publisher = {Springer},
  address = {Berlin},
}

@Article{HilbertMathematischeProbleme,
  author = {David Hilbert},
  title = {Mathematische Probleme},
  journal = {Bulletin of the American Mathematical Society},
  year = {1900},
  volume = {8},
  pages = {1902},
}

@Article{HilbertNeubegrundungDerMathematik,
  author = {David Hilbert},
  title = {Neubegründung der Mathematik (erste Mitteilung)},
  journal = {Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität},
  year = {1922},
  volume = {1},
  pages = {157--177},
}

@Article{HilbertUberDasUnendliche,
  author = {David Hilbert},
  title = {Über das Unendliche},
  journal = {Mathematische Annalen},
  year = {1926},
  volume = {95},
  pages = {161--190},
}

@Article{LorenzenLogicalReflectionAndFormalism,
  author = {Paul Lorenzen},
  title = {Logical reflection and formalism},
  journal = {Journal of Symbolic Logic},
  year = {1958},
  volume = {23},
  pages = {241--249},
}

@Book{PotterReasonsNearestKin,
  author = {Michael Potter},
  title = {Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap},
  booktitle = {Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap},
  year = {2000},
  publisher = {Oxford University Press},
  address = {Oxford},
}

@InCollection{SiegPhysicalism,
  author = {Wilfried Sieg},
  title = {Physicalism, reductionism and Hilbert},
  crossref = {IrvinePhysicalismInMathematics},
  pages = {183--257},
}

Number of topics: 14

-- MathBibConvert 17 Feb 2003

Topic MathFormalism . { Edit | Attach | Ref-By | Print | Diffs | r1.1 | More }