Tag: goedel

83 Is Kurt Gödel's Incompleteness Theorem a "cheap trick"? 2011-06-08T19:18:30.400

44 Did Russell understand Gödel's incompleteness theorems? 2012-10-12T05:25:15.530

31 What are the philosophical implications of Gödel's First Incompleteness Theorem? 2011-06-11T16:21:18.887

31 How is Gödel's incompleteness theorem interpreted in intuitionistic logic? 2013-06-07T16:30:20.380

17 When it is correct to use Tarski's undefinability theorem versus Gödel's incompleteness theorem? 2011-06-17T17:03:36.753

17 What are the philosophical consequences of the undecidability of the spectral gap in quantum theory? 2015-12-11T16:14:12.480

15 How does Gödel's theorem apply to daily life? 2014-11-14T17:20:03.783

13 Gödel's theorem and God 2013-05-26T11:18:49.437

12 Was Wittgenstein anticipating Gödel? 2015-06-25T20:36:13.957

12 What sources discuss Russell's response to Gödel's incompleteness theorems? 2015-11-03T07:15:28.233

11 How did the logical positivists respond to Gödel's incompleteness theorem? 2015-05-17T13:38:48.850

10 In Gödels Incompleteness theorem what is the notion of truth? 2013-06-14T14:27:47.820

10 Does Gödel's argument that minds are more powerful than computers have the inconsistency loophole? 2015-11-05T05:00:25.030

10 Was Kant anticipating Gödel's incompleteness in his antinomies? 2016-01-19T21:02:40.457

10 How does Gödel's incompleteness theorem apply to materialism and the mind 2018-05-01T16:08:24.000

9 Where did Gödel write that first-order logic is the "true" logic? 2015-09-22T14:27:59.463

8 What are the philosophical implications of the Halting Problem? 2012-07-03T02:48:02.697

8 Did Gödel oppose or agree with the Logical Positivists? 2016-01-16T02:27:40.843

8 Why did Gödel believe that there was a conspiracy to suppress Leibniz's works? 2017-11-02T23:07:27.027

8 What did Gödel mean by "positive property" in his ontological argument? 2020-01-01T17:07:32.310

7 What's the big deal with Gödel's second incompleteness theorem? 2013-02-05T13:44:27.463

7 Is Propositional Logic Sound and Complete 2018-08-08T18:22:14.510

7 Gödel's incompleteness theorems - what are the religious implications? 2019-04-01T19:56:41.473

6 Can Gödel's incompleteness theorems be applied to ethics? 2016-01-24T18:20:58.523

6 Is there a way to avoid Gödel's incompleteness affecting mathematics as a whole? 2016-04-14T19:04:10.200

6 Can you list examples of problems that can not be solved within a formal system but human beings have solved through construction or creativity? 2017-01-10T06:57:18.110

6 Did Gödel do philosophy beyond logic? 2018-01-21T02:14:25.293

5 What is the impact of paraconsistency on Gödel's theorem? 2013-06-21T04:21:11.937

5 Does Gödel's second incompleteness theorem interact with logical positivism? 2013-12-06T19:33:07.733

5 Do Gödel's incompleteness theorems have any consequences for epistemology? 2015-12-02T16:24:19.990

5 Gödel: Why is a proposition undecidable? 2017-01-09T21:17:40.847

5 Are axioms tautologies? 2017-04-18T22:18:12.080

4 What happens when we drop the condition that proofs are finite strings of inferences in Gödel's incompleteness theorem? 2013-06-09T09:12:30.730

4 Is Gödel's incompleteness theorem still valid if one uses a higher-order logic? 2013-06-14T14:54:27.350

4 Does the finitary proof of the consistency of relevant PA shows that first order PA is irrelevant? 2013-09-20T09:37:51.873

4 How is ω-consistency different from ordinary consistency? 2018-04-06T23:13:18.273

4 How to show (in a hand waving manner) that the Godel sentence is true 2019-12-24T16:15:18.917

3 Do Gödel's incompleteness theorems support the idea that the examination of a 'system' should only be undertaken to arrive at the inconsistency? 2012-05-08T03:34:28.073

3 Relation of Gödel's incompleteness theorems and Karl Popper falsification 2013-01-14T15:22:38.993

3 Can we add to PA a new predicate T such that for every sentence A of the old vocabulary the new theory proves T(Godel numeric number of A) iff A 2013-06-05T12:50:29.110

3 What is the connection between provability logic & Gödel's first incompleteness theorem? 2013-08-18T07:36:47.500

3 Provable and contradictory? 2014-04-15T04:28:42.077

3 About Godel and Anselm 2014-08-11T03:59:03.840

3 Quantum Mechanics has formally undecidable problems. What is the philosophical significance of this? 2015-12-28T01:08:45.337

3 What motivated Gödel to arithmetize syntax? 2016-05-10T22:24:03.537

3 Gödel's incompleteness theorem and non-standard logics/foundational systems 2018-04-29T16:31:35.643

3 The origin of a particular self-reference paradox 2019-07-08T12:44:58.160

3 What evidence is there that Gödel believed the mind to be non-physical? 2019-12-24T11:40:33.813

3 In non-platonism, can undecidable statements have truth value? 2020-01-20T22:48:39.093

3 Does Godel's second incompleteness theorem mean it's impossible to know whether a proven statement cannot also be disproven? 2020-07-20T05:25:15.437

2 Is there a finitistic set theory, and if there is, is it provably consistent? 2013-07-15T15:02:00.850

2 Can we expand the notion of truth in Godels incompleteness theorem? 2013-08-24T00:01:55.097

2 If the ZFC axioms cannot be proven consistent, how can we say for certain that any theorems in mathematics have been proven? 2015-09-25T17:23:54.967

2 Poignancy because of Gödel's theorems - why? 2016-04-14T17:54:04.367

2 Existence as a predicate and Godel's ontological argument 2017-01-24T22:23:53.477

2 Why is ZFC not as susceptible to Gödel's incompleteness as was the Principia Mathematica? 2019-04-25T05:15:29.447

2 Before Gödel, was undecidability of axiomatic systems an issue at all? 2020-01-18T11:47:10.143

2 Why does Gödel's incompleteness theorem apply to multiple formal systems? 2020-01-31T23:54:23.070

1 Was Gödel the first person to bring up that truth always exceeds the grasp of proof? 2013-05-20T14:32:42.317

1 Gödel's ontological proof and the incompleteness theorem 2013-10-25T21:42:37.840

1 Is this enough to conclude that G is false? 2015-03-12T14:20:59.407

1 Are there any work around after Godel's incompleteness theorems? 2015-06-06T18:09:38.750

1 Are semantic inferences between undecidable sentences in a system possible? 2017-05-18T00:02:41.137

1 Godel's theorems 2018-04-25T16:46:33.737

1 Source of Godel's quote on materialism 2019-09-05T06:54:39.990

0 Regarding Godel's theorems 2014-06-14T14:32:34.127

0 Gödel's Incompleteness Theorems and Implications for Science 2016-10-22T19:13:32.110

0 Is it valid to prove the axioms of a system from themselves? How does it square with Gödel's incompleteness? 2017-04-28T01:08:39.160

0 Gödel's Results and Philosophy of Mathematics 2019-03-31T19:53:56.127

0 What is the relationship between computation and Gödel's incompleteness theorems? 2019-04-29T10:22:33.050

0 Why does one need to specify that the language is "well-orderable" for first order logic to be complete? 2019-06-19T20:13:56.383


0 Non-consistent mathematical axioms 2020-04-28T18:29:11.343

0 Why is Turing claiming that a complete and computable axiomatization of arithmetic would imply the decidability of first-order logic? 2020-06-12T21:38:59.620

0 Does Gödel believe in the existence of his rotating universe? 2020-11-06T19:16:43.620