Hans Hermes (hermes-h)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Ebbinghaus, Hans Dieter, Hermes, Hans, Hirzebruch, F., Koecher, M., Mainzer, Klaus, Neukirch, J., Prestel, Alexander and Remmert, Reinhold. 1988. Zahlen. 2nd ed. Graduate Texts in Mathematics n. 123. New York: Springer.
Hermes, Hans. 1958. “Zum Einfachheitsprinzip in der Wahrscheinlichkeitsrechnung.” Dialectica 12(47–48): 317–331.
Hermes, Hans. 1959. “Zur Axiomatisierung der Mechanik.” in The Axiomatic Method with Special Reference to Geometry and Physics, edited by Leon Henkin, Patrick Suppes, and Alfred Tarski, pp. 282–290. Amsterdam: North-Holland Publishing Co.
Hermes, Hans. 1969a. “Basic Notions and Applications of the Theory of Decidability.” in Aspects of Mathematical Logic, edited by Ettore Casari, pp. 1–54. Roma: Edizione cremonese.
Hermes, Hans. 1969b. “Ideen von Leibniz zur Grundlagenforschung: Die ars inveniendi und die ars iudicandi.” in Akten des Internationalen Leibniz-Kongresses Hannover, 14.-19. November 1966. Bd. III: Erkenntnislehre – Logik – Sprachphilosophie – Editionsberichte, edited by Kurt Müller and Wilhelm Totok, pp. 92–102. Studia Leibnitiana Supplementa n. 3. Wiesbaden: Franz Steiner Verlag.
Hermes, Hans. 1969c. “Ideen von Leibniz zur Grundlagenforschung: Die ars inveniendi und die ars iudicandi.” in Systemprinzip und Vielheit der Wissenschaften, edited by Udo Wilhelm Bargenda and Jürgen Blühdorn, pp. 78–88. Studia Leibnitiana Sonderheft n. 1. Wiesbaden: Franz Steiner Verlag.
Hermes, Hans. 1973. “Some Remarks on Lorenzen’s Theory.” in Logic, Methodology and Philosophy of Science IV: Proceedings of the Fourth International Congress in Bucharest 1971, edited by Patrick Suppes, Leon Henkin, Athanase Joja, and Gr.C. Moisil, pp. 253–254. Studies in Logic and the Foundations of Mathematics n. 74. Amsterdam: North-Holland Publishing Co.
Hermes, Hans. 1980. “Recursion Theory.” in Modern Logic. A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic, edited by Evandro Agazzi, pp. 173–195. Synthese Library n. 149. Dordrecht: D. Reidel Publishing Co.
Hermes, Hans and Rödding, D. 1965. “A Method for Producing Reduction Types int he Restricted Lower Predicate Calculus.” in Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium, Oxford, July 1963), edited by John Newsome Crossley and Michael A. E. Dummett, pp. 42–47. Studies in Logic and the Foundations of Mathematics n. 40. Amsterdam: North-Holland Publishing Co.