Paul Bernays (1888–1977)

  title={Paul Bernays (1888–1977)},
  author={Henri Lauener},
  journal={Zeitschrift f{\"u}r allgemeine Wissenschaftstheorie},
  • H. Lauener
  • Published 1 March 1978
  • Philosophy
  • Zeitschrift für allgemeine Wissenschaftstheorie
Émigré psychiatrists, psychologists, and cognitive scientists in North America since the Second World War
The processes of long-term migration of physicians and scholars affect both the academic migrants and their receiving environments in often dramatic ways. On the one side, their encounter confrontsExpand
Russell's completeness proof
Bertrand Russell's 1906 article ‘The Theory of Implication’ contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such. We give an expositionExpand
Hilbert's Finitism: Historical, Philosophical, and Metamathematical Perspectives
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives
Completeness before Post: Bernays, Hilbert, and the development of propositional logic
  • R. Zach
  • Mathematics, Computer Science
  • Bull. Symb. Log.
  • 1999
It is argued that truth-value semantics, syntactic (“Post-”) and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. Expand
Hilberts Logik. Von der Axiomatik zur Beweistheorie
This paper gives a survey of David Hilbert's (1862–1943) changing attitudes towards logic. The logical theory of the Göttingen mathematician is presented as intimately linked to his studies on theExpand