Scribd
Upload
58 views

Foundational Schemes For Mathematics

This document summarizes the key points of the book "Elements of Mathematical Logic" by G. Kreisel and J. L. Krivine about model theory. The book covers preliminaries on functions defined by finite schemas in Chapter 0, propositional calculus in Chapter 1, and predicate calculus in Chapter 2. It introduces the basic concepts of model theory and its relationship to proof theory, universal algebra, and other fields.

Uploaded by

Rondex Pablo
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
58 views

Foundational Schemes For Mathematics

This document summarizes the key points of the book "Elements of Mathematical Logic" by G. Kreisel and J. L. Krivine about model theory. The book covers preliminaries on functions defined by finite schemas in Chapter 0, propositional calculus in Chapter 1, and predicate calculus in Chapter 2. It introduces the basic concepts of model theory and its relationship to proof theory, universal algebra, and other fields.

Uploaded by

Rondex Pablo
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 15

FOUNDATIONAL

SCHEMES FOR
MATHEMATICS
THE VIEW OF KREISEL AND KRIVINE

RONDEX C. PABLO
GEORG KREISEL
• Georg Kreisel (September 15, 1923 – March 1, 2015) 
was an Austrian-born mathematical logician who studied
and worked in the United Kingdom and America.
BIOGRAPHY
• Kreisel was born in Graz and came from a Jewish background; his family sent him to
the United Kingdom before the Anschluss, where he studied mathematics at Trinity
College, Cambridge, and then, during World War II, worked on military subjects.
Kreisel never took a Ph.D., though in 1962 he was awarded the Cambridge degree of
Sc.D., a `higher doctorate' given on the basis of published research.
• He taught at the University of Reading from 1949 until 1954 and then worked at
the Institute for Advanced Study from 1955 to 1957. He returned to Reading in 1957,
but then taught at Stanford University from 1958-1959. Then back at Reading for the
year 1959-1960, and then the University of Paris 1960-1962. Kreisel was appointed a
professor at Stanford University in 1962 and remained on the faculty there until he
retired in 1985.
• Kreisel worked in various areas of logic, and especially in proof theory, where he is
known for his so-called "unwinding" program, whose aim was to
extract constructive content from superficially non-constructive proofs.
• Kreisel was elected to the Royal Society in 1966; Kreisel remained a close friend
of Francis Crick whom he had met in the Royal Navy during WWII.
• While a student at Cambridge, Kreisel was the student most respected by Ludwig
Wittgenstein. Ray Monk writes, "In 1944--when Kreisel was still only twenty-one--
Wittgenstein shocked Rush Rhees by declaring Kreisel to be the most able philosopher
he had ever met who was also a mathematician.“
• After retirement Kreisel lived in Salzburg, Austria. He wrote several biographies of
mathematicians including Kurt Gödel, Bertrand Russell and Luitzen Egbertus Jan
Brouwer. He died in Salzburg, aged 91.
JEAN-LOUIS KRIVINE 
• Jean-Louis Krivine (born in 1939 ) is a French
 mathematician specializing in mathematical logic.
• He is a former student of the École normale
supérieure de Paris (promotion 1957), agrégé in mathematics (1960), doctor of state in
mathematics
(1967) under the supervision of Jean-Pierre Kahane,
professor of universities ( professor emeritus at the University Paris-Diderot ), associate
member of the joint research unit Evidence, Programs and Systems , now part of
the Fundamental Informatics Research Institute (IRIF).
JEAN-LOUIS KRIVINE WORKS

• In set theory and logic , Jean-Louis Krivine focused, in the 1980s, at the interface


between logic and computer science as part of the connection between proofs of
mathematical logic and programs described by the correspondence by Curry-Howard ,
whose implications have been recognized and echoed by a new generation of
researchers. Krivine developed a program around the concept of realizability and
applied, in the 2000s, also in the axiomatic set theory , to identify new models of the
Zermelo-Fraenkel theory -independent concept of forcing.
• He
  was also interested in Banach spaces where he made important contributions in the
1960s and 1970s. With Dacunha-Castelle, he introduced ultra-products into the theory
of Banach spaces and in 1977 he gave the best increase for the Grothendieck
 constant in real case. With Bernard Maurey, he introduced the concept of stable
Banach space. Krivine's theorem on the existence of a finite representation of in a
space of Banach bears his name.
• He also contributed, as early as 1964, to concepts of real algebraic geometry which
anticipated later developments, which were ignored in the development of the theory
in the early 1970s and were found independently by other mathematicians (e.g. the
theorem of Kadison and Dubois).
• An abstract machine reduction of terms lambda calculus is called the machine Krivine
 .
• Krivine wrote several treatises on the lambda calculus , the model theory and 
axiomatic set theory , some translated into English and German.
• Among his former students are Jean-Yves Girard , Daniel Lascar, Jacques Stern and
Serge Grigorieff.
MODEL THEORY
• In mathematics, model theory is the study of the relationship
between formal theories (a collection of sentences in a formal
language expressing statements about a 
mathematical structure), and their models, taken as 
interpretations that satisfy the sentences of that theory.
• Model theory recognizes and is intimately concerned with a duality: it
examines semantical elements (meaning and truth) by means of syntactical
 elements (formulas and proofs) of a corresponding language. In a summary
definition, dating from 1973:
• model theory = universal algebra + logic.
• Model theory developed rapidly during the 1990s, and a more modern
definition is provided by Wilfrid Hodges (1997):
• model theory = algebraic geometry − fields.
• Another commonly recurring slogan states that "if proof theory is about the
sacred, then model theory is about the profane",[3] indicating that these two
topics are in a sense dual to each-other. Much like proof theory, model theory
is situated in an area of interdisciplinarity among mathematics, philosophy,
and computer science. Model theory is used in a variety of settings, both
academic and industrial.
G. Kreisel and J. L. Krivine.
Elements of Mathematical Logic.
(Model Theory).
North Holland Publishing Company,
Armsterdan 1967,
Ix + 222 pages.
CHAPTER 0: PRELIMINARIES

• This chapter contains elementary results about classes of functions defined by finite
schemas.
• Such schemas as frequently used in mathematics (e.g. polynomials over a given ring
rational functions over a given field); here they are mainly used for the construction
for language.
• The notion of this chapter can also define using only(hereditarily)finite sets.
CHAPTER 1: PROPOSITIONAL CALCULUS

• This chapter treats grammatical connectives(or operator) such as negation, conjunction


and disjunction.
• These connectives are used to form new propositions from given ones. The particular
connectives considered here are called “ Aristotelian”, “classical” or “two-valued”,
because they were first brought into prominence by Aristotle and because they are
applied to proposition with well defined values (true or false)and not to indeterminate
propositions.
CHAPTER 2: PREDICATE CALCULUS

• When one defines the general notion of “quantifier” it is not true that all quantifiers
can be define in terms

You might also like