WorldCat Identities

Boolos, George

Overview
Works: 24 works in 227 publications in 4 languages and 5,506 library holdings
Genres: Interviews 
Roles: Author, Editor, Other, Honoree
Classifications: QA9.59, 511.3
Publication Timeline
.
Most widely held works about George Boolos
 
Most widely held works by George Boolos
Computability and logic by George Boolos( Book )

109 editions published between 1974 and 2012 in 5 languages and held by 2,030 WorldCat member libraries worldwide

This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem
The logic of provability by George Boolos( Book )

34 editions published between 1993 and 2003 in English and held by 573 WorldCat member libraries worldwide

This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does is to show how the concepts, techniques, and methods of modal logic shed brilliant light on the most important logical discovery of the twentieth century: the incompleteness theorems of Kurt Godel and the 'self-referential' sentences constructed in their proof. The book explores the effects of reinterpreting the notions of necessity and possibility to mean provability and consistency
The unprovability of consistency : an essay in modal logic by George Boolos( Book )

17 editions published between 1979 and 2009 in English and held by 510 WorldCat member libraries worldwide

Logic, logic, and logic by George Boolos( Book )

15 editions published between 1998 and 1999 in English and held by 417 WorldCat member libraries worldwide

Meaning and method : essays in honor of Hilary Putnam( Book )

11 editions published between 1990 and 2009 in English and Italian and held by 413 WorldCat member libraries worldwide

In conversation : W.V. Quine by W. V Quine( Visual )

10 editions published between 1994 and 2006 in English and held by 30 WorldCat member libraries worldwide

Includes a personal interview and six panel discussions covering Quine's most important philosophical views
Mathematics and mind( Book )

1 edition published in 1994 in English and held by 7 WorldCat member libraries worldwide

Three logico-philosophical studies by George Boolos( Book )

6 editions published between 1984 and 1985 in English and Undetermined and held by 6 WorldCat member libraries worldwide

To be is to be a value of a variable (or to be some values of some variables) by George Boolos( Book )

4 editions published between 1983 and 1985 in English and held by 5 WorldCat member libraries worldwide

The Dreben panel by W. V Quine( Visual )

2 editions published in 1994 in English and held by 4 WorldCat member libraries worldwide

Utilizes panel discussion to cover the most important philosophical views of Professor W.V. Quine
Philosophy of mathematics( Book )

2 editions published in 1990 in English and held by 4 WorldCat member libraries worldwide

Effettività e lingue naturali by George Boolos( )

1 edition published in 1971 in Italian and held by 3 WorldCat member libraries worldwide

Philosophy international presents In conversation - W.V. Quine / the Boolos panel / Participants: W.V. Quine, George Boolos ... Rudolf Fara, chair( Visual )

1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide

The hierarchy of constructible sets of integers by George Boolos( Book )

2 editions published in 1966 in English and held by 2 WorldCat member libraries worldwide

Special issue on George S. Boolos( Book )

2 editions published in 1999 in English and held by 2 WorldCat member libraries worldwide

Computability and logic by George Boolos( Recording )

1 edition published in 2003 in English and held by 1 WorldCat member library worldwide

The George Boolos Memorial Symposium II : special issue by George Boolos Memorial Symposium( Book )

in English and held by 1 WorldCat member library worldwide

The George Boolos memorial symposium by George Boolos Memorial Symposium( Book )

1 edition published in 1999 in English and held by 1 WorldCat member library worldwide

Ke ji suan xing yu shu li luo ji : Di si ban : ying wen ban( Book )

1 edition published in 2003 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.41 (from 0.23 for Computabil ... to 0.98 for Effettivit ...)

The logic of provability
Alternative Names
Boolos, George

Boolos George S.

Boolos, George S. 1940-1996

Boolos, George Stephen.

Džordž Bolos

George Boolos Amerikaans wiskundige (1940-1996)

George Boolos Philosopher and mathematical logician

George Boolos US-amerikanischer Philosoph und Logiker

جرج بولوس ریاضی‌دان و فیلسوف آمریکایی

조지 불로스

Languages
English (214)

Italian (3)

Spanish (1)

Dutch (1)

Covers
The logic of provabilityThe unprovability of consistency : an essay in modal logicLogic, logic, and logicMeaning and method : essays in honor of Hilary PutnamMathematics and mind