Hostname: page-component-5c6d5d7d68-wbk2r Total loading time: 0 Render date: 2024-08-23T05:23:43.140Z Has data issue: false hasContentIssue false
  • English
  • Français

A survey of mathematical logic, part I: pre-1931

Published online by Cambridge University Press:  01 August 2016

G. T. Q. Hoare
G. T. Q. Hoare*
Affiliation:
Dr Challoner’s Grammar School, Amersham HP6 5HA
Get access Rights & Permissions [Opens in a new window]

Extract

… there would be no more need of dispute between two philosophers than between two accountants. It would suffice for them to take their pencils in their hands, sit down to their slates, and say to each other … :‘Let us calculate.’

Gottfried Wilhelm Leibniz

Wir miissen wissen,

Wir werden wissen.

David Hilbert

… I study Mathematics as a product of the human mind and not as absolute.

Emil Leon Post

In the development of Mathematics in the past 2500 years we can discern two strands, namely, formal deduction or logic, associated initially with the Stoics and later with Aristotle and Euclid among others, and mathematical analysis, which we see emerging in the same era in the works, for example, of Archimedes and Eudoxus. These strands, for the most part, developed separately until the seventeenth century when Newton and Leibniz invented the calculus. Newton’s presentation, however, was controversial for his arguments deployed infinitesimals and fluxions which some, especially Bishop Berkeley, rightly considered contradictory.

Type
Twentieth Century Mathematics
Information
The Mathematical Gazette , Volume 80 , Issue 487 , March 1996 , pp. 83 - 91
Copyright
Copyright © The Mathematical Association 1996

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1. Davis, Martin (editor), The undecidable, Raven Press (1965)Google Scholar
2. Hoare, G. T. Q., A survey of mathematical logic, part II: post-1931, Math. Gaz. 80 (July 1996) (to appear).Google Scholar
Barwise, Jon (editor), Handbook of mathematical logic, North-Holland (1977).Google Scholar
Chang, C. C., Keisler, H. Jerome, Model theory, North-Holland (1975).Google Scholar
Cohen, Paul J., Set theory and the Continuum Hypothesis, Benjamin, W. A. (1966).Google Scholar
Cutland, N. J., Computability, an introduction to recursive function theory, CUP (1980).Google Scholar
Enderton, Herbert B., A mathematical introduction to logic, Academic Press (1972)Google Scholar
Mendelson, E., Introduction to mathematical logic, Von Nostrand Reinhold (1972 edition).Google Scholar