Concept
Stephen Cole Kleene
Overview
Stephen Cole Kleene ( KLAY-nee; January 5, 1909 – January 25, 1994) was an American mathematician and logician. One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science. Kleene's work grounds the study of computable functions. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star (Kleene closure), Kleene's recursion theorem and the Kleene fixed-point theorem. He also invented regular expressions in 1951 to describe McCulloch-Pitts neural networks, and made significant contributions to the foundations of mathematical intuitionism.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
The exercise of logical reason is always concerned with these absolutely general conditions. In its broadest sense, the discovery of mathematics is the discovery that the totality of these general abstract conditions, which are concurrently applicable to the relationships among the entities of any one concrete occasion, are themselves inter-connected in the manner of a pattern with a key to it. This pattern of…
Alfred North Whitehead, Science and the modern world
States what Stephen Cole Kleene is; the author is tied to Stephen Cole Kleene in the knowledge graph.
On the other hand an event-particle is defined so as to exhibit this character of being a route of approximation marked out by entities posited in sense-awareness. A definite event-particle is defined in reference to a definite punct in the following manner: Let the condition {sigma} mean the property of covering all the abstractive elements which are members of that punct; so that an abstractive set which satisfies…
Alfred North Whitehead, The Concept of Nature The Tarner Lectures Delivered in Trinity College, November 1919
States what Stephen Cole Kleene is; the author is tied to Stephen Cole Kleene in the knowledge graph.
The logical basis of the theory alone belongs to philosophy, and alone will occupy us to-night. The way the problem of continuity enters into philosophy is, broadly speaking, the following: Space and time are treated by mathematicians as consisting of points and instants, but they also have a property, easier to feel than to define, which is called continuity, and is thought by many philosophers to be destroyed when…
Bertrand Russell, Our Knowledge of the External World as a Field for Scientific Method in Philosophy
States what Stephen Cole Kleene is.
Philosophers who discussed Stephen Cole Kleene
Related ideas
- Germany
- Alan Turing
- Intuitionistic logic
- Mathematician
- Intuitionism
- Mathematical logic
- University of Wisconsin–Madison
- Princeton University
- Bulletin of the American Mathematical Society
- Theoretical computer science
- Emil Leon Post
- Association for Symbolic Logic
- Conservation movement
- Logic
- Alonzo Church
- Wiley (publisher)
- Prentice Hall
- Gödel's incompleteness theorems
- Daniel Dennett
Opposing perspectives
Place in the tradition
Part of Intuitionistic logic.