Jump to ContentJump to Main Navigation

You are looking at 1-11 of 11 items

  • Keywords: Kurt Gödel x
Clear All Modify Search

View:

Facing Facts

Stephen Neale

Published in print:
2001
Published Online:
November 2003
ISBN:
9780199247158
eISBN:
9780191598081
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/0199247153.001.0001
Subject:
Philosophy, Philosophy of Language

This book is an original examination of attempts to dislodge a cornerstone of modern philosophy: the idea that our thoughts and utterances are representations of slices of reality. Representations ... More


Gödel’s Theorem: An End and a Beginning

Jan von Plato

in The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Published in print:
2017
Published Online:
May 2018
ISBN:
9780691174174
eISBN:
9781400885039
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691174174.003.0009
Subject:
History, History of Science, Technology, and Medicine

This chapter discusses how Kurt Gödel found his theorem. He started to study physics at the University of Vienna in 1924, then changed to mathematics in 1926. That same year, he started attending the ... More


Gödel: Facts and Descriptions

Stephen Neale

in Facing Facts

Published in print:
2001
Published Online:
November 2003
ISBN:
9780199247158
eISBN:
9780191598081
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/0199247153.003.0005
Subject:
Philosophy, Philosophy of Language

Sets out Kurt Gödel's slingshot (collapsing) argument. The original argument—or, at least, the premisses of the argument that Neale attributes to Gödel—can be found in a fleeting footnote to a ... More


The End of Representation?

Stephen Neale

in Facing Facts

Published in print:
2001
Published Online:
November 2003
ISBN:
9780199247158
eISBN:
9780191598081
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/0199247153.003.0001
Subject:
Philosophy, Philosophy of Language

Introduces the criticisms put forward by philosophers such as Donald Davidson and Richard Rorty to the idea that one thing might represent another: that thoughts, utterances, and inscriptions are ... More


Gödelian Equivalence

Stephen Neale

in Facing Facts

Published in print:
2001
Published Online:
November 2003
ISBN:
9780199247158
eISBN:
9780191598081
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/0199247153.003.0009
Subject:
Philosophy, Philosophy of Language

Chs. 9 (and 8) convert the two basic forms of slingshot (collapsing) argument—one used by Alonzo Church, W. V. Quine, and Donald Davidson, the other by Kurt Gödel—into knock‐down deductive proofs ... More


Cognition of Structure

Marcus Giaquinto

in The Philosophy of Mathematical Practice

Published in print:
2008
Published Online:
February 2010
ISBN:
9780199296453
eISBN:
9780191711961
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199296453.003.0003
Subject:
Philosophy, Logic/Philosophy of Mathematics

This chapter investigates the possibility of knowing a structure (an isomorphism type) more directly than as the structure of all models of this or that categorical theory. It starts with grasp of ... More


Logical Equivalence

Stephen Neale

in Facing Facts

Published in print:
2001
Published Online:
November 2003
ISBN:
9780199247158
eISBN:
9780191598081
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/0199247153.003.0008
Subject:
Philosophy, Philosophy of Language

Chs. 8 and 9 convert the two basic forms of slingshot (collapsing) argument—one used by Alonzo Church, W. V. Quine, and Donald Davidson, the other by Kurt Gödel—into knock‐down deductive proofs that ... More


The Grand Unified Theory of Computation

Moore Cristopher

in The Nature of Computation

Published in print:
2011
Published Online:
December 2013
ISBN:
9780199233212
eISBN:
9780191775079
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199233212.003.0007
Subject:
Physics, Theoretical, Computational, and Statistical Physics

This chapter explores a universal notion of computation, first by describing Charles Babbage's vision of a mechanical device that can perform any calculation as well as David Hilbert's dream of a ... More


The Ghosts of Metaphysics: Logical Positivism and Disenchantment

Jason Ā. Josephson-Storm

in The Myth of Disenchantment: Magic, Modernity, and the Birth of the Human Sciences

Published in print:
2017
Published Online:
January 2018
ISBN:
9780226403229
eISBN:
9780226403533
Item type:
chapter
Publisher:
University of Chicago Press
DOI:
10.7208/chicago/9780226403533.003.0010
Subject:
History, History of Religion

Chapter 9 explores the connections between the Vienna Circle of positivism and the esoteric milieu. It shows how the founders of logical positivism, such as Otto Neurath, presented their philosophy ... More


Facts, Alternative Facts and Patent Literature

David Segal

in One Hundred Patents That Shaped the Modern World

Published in print:
2018
Published Online:
April 2019
ISBN:
9780198834311
eISBN:
9780191872426
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198834311.003.0001
Subject:
Physics, History of Physics, Condensed Matter Physics / Materials

The mathematician Kurt Gödel showed in his Incompleteness Theorem in the early 1930s that there are some statements in mathematics that are true but cannot be proven. Whether statements are true is ... More


Relativity Without Spacetime

Ulrich Meyer

in The Nature of Time

Published in print:
2013
Published Online:
January 2014
ISBN:
9780199599332
eISBN:
9780191760648
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199599332.003.0012
Subject:
Philosophy, Philosophy of Science

This chapter argues against the widely held view that the theory of relativity entails that space and time are fundamentally alike. It solves the Problem of Motion by defending a hybrid view that ... More


View: