Jon Barwise
Use attributes for filter ! | |
Gender | Male |
---|---|
Death | 24 years ago |
Date of birth | June 29,1942 |
Zodiac sign | Cancer |
Born | Independence |
Missouri | |
United States | |
Date of died | March 5,2000 |
Died | Bloomington |
Indiana | |
United States | |
Parents | Kenneth T. Barwise |
Evelyn Barwise | |
Job | Mathematician |
Date of Reg. | |
Date of Upd. | |
ID | 618005 |
Situations and Attitudes
Language, Proof and Logic
The situation in logic
Tarski's World
The Liar: An Essay on Truth and Circularity
Information Flow: The Logic of Distributed Systems
Hyperproof
Admissible sets and structures
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena
Turing's World 3. 0 for Windows
Turing's World 3. 0 for Mac: An Introduction to Computability Theory
The Language of First-Order Logic: Including the IBM-compatible Windows Version of Tarski's World 4. 0
Logical Reasoning with Diagrams and Sentences: Using Hyperproof
Studies in Model Theory
Tarski's World 4. 0 for MS Windows
Language, Proof and Logic
The situation in logic
Tarski's World
The Liar: An Essay on Truth and Circularity
Information Flow: The Logic of Distributed Systems
Hyperproof
Admissible sets and structures
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena
Turing's World 3. 0 for Windows
Turing's World 3. 0 for Mac: An Introduction to Computability Theory
The Language of First-Order Logic: Including the IBM-compatible Windows Version of Tarski's World 4. 0
Logical Reasoning with Diagrams and Sentences: Using Hyperproof
Studies in Model Theory
Tarski's World 4. 0 for MS Windows
Jon Barwise Life story
Kenneth Jon Barwise was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.