Logic and Language
Load the menuLoad the menu


Copyright   James R Meyer    2012 - 2020 https://www.jamesrmeyer.com

Note: Full functionality of this website requires JavaScript to be enabled in your browser.
 

SITEMAP

LL: Logic & Language Home Page

 

Incompleteness

LL: Gödel’s Incompleteness Theorem

LL: Gödel’s contradiction

LL: English Translation of Gödel’s Incompleteness Proof

LL: Formal papers related to incompleteness

 

LL: Simplified Explanation of Gödel’s proof - Intro

 

LL: Step by Step Guide to Gödel’s Proof: Intro

 

LL: The Flaw in Gödel’s Proof of his Incompleteness Theorem

Paper: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem

Paper, previous v4: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem

Paper, previous v3: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem

Paper, previous v2: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem

Paper, previous v1: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem

Paper, previous v0: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem

 

LL: Errors in Incompleteness Proofs

LL: Analysis of Incompleteness Proofs

 

Paper: The Impossibility of Representation of a Gödel Numbering Function by a Formula of the Formal System

Paper: A Fundamental Flaw in an Incompleteness Proof by Peter Smith

Paper: previous v1: A Fundamental Flaw in an Incompleteness Proof by Peter Smith

Paper: previous v2: A Fundamental Flaw in an Incompleteness Proof by Peter Smith

Paper: A Fundamental Flaw in Incompleteness Proofs by S. C. Kleene

Paper: A Fundamental Flaw in Incompleteness Proofs by Gregory Chaitin

Paper: A Fundamental Flaw in an Incompleteness Proof by George Boolos

Paper: A Fundamental Flaw in an Incompleteness Proof by Stanisław Świerczkowski

Paper, previous v1: A Fundamental Flaw in an Incompleteness Proof by Stanisław Świerczkowski

Paper: An Error in a Computer Verified Proof of Incompleteness by John Harrison

Paper: An Error in a Computer Verified Proof of Incompleteness by Russell O’Connor

Paper previous v1: An Error in a Computer Verified Proof of Incompleteness by Russell O’Connor

Paper: An Error in a Computer Verified Proof of Incompleteness by Natarajan Shankar

 

LL: Gödel’s Proposition V

LL: Gödel Without Tears - Or Not?

LL: Gödel’s Intuitive Error No. 2

LL: Gödel quotations

LL: Responses to the demonstration of the flaw in Gödel’s proof

LL: The Platonist response to the flaw in Gödel’s proof

LL: Nagel & Newman

LL: Gödel, Escher, Bach

LL: The Diagonal Lemma

LL: Gödel’s Substitution Function

LL: Representability

LL: The Halting Problem and Incompleteness Proofs

LL: Church’s “An Unsolvable Problem”

LL: Intuitionism

LL: True but unprovable

LL: Gödel, Minds, and Machines

LL: Gödel links

LL: World’s shortest explanation of Gödel’s Proof?

LL: Review by Russell O’Connor of the paper demonstrating the flaw in Gödel’s proof

LL: How to show how a disproof of Gödel’s proof is wrong - if it really is

LL: On web forums and Gödel’s proof

LL: A review of Buldt’s The Scope of Gödel’s First Incompleteness Theorem

LL: Yet Another Flawed Incompleteness Proof

An Incompleteness Proof by Francesco Berto

An Incompleteness Proof by Bernd Buldt

An Incompleteness Proof by Dan Gusfield

An Incompleteness Proof by Byunghan Kim

An Incompleteness Proof by Sebastian Oberhoff

An Incompleteness Proof by Arindama Singh

An Incompleteness Proof by Antti Valmari

 

The Infinite

LL: Infinity

LL: Formal papers related to questions about infinity

LL: The Courant & Robbins Contradiction

LL: Sums of infinitely many fractions 1

LL: Sums of infinitely many fractions 2

LL: Lebesgue Measure Theory

LL: Understanding Limits and Infinity

LL: Real numbers and Language

LL: The Diagonal Proof

LL: The Diagonal Proof - Version 1

Paper: On Considerations of Language in the Diagonal Proof

Paper: On Considerations of Language in the Diagonal Proof - v1

Paper: On the Reality of the Continuum and Russell’s Moment of Candour

LL: A list with no Diagonal number

LL: Cantor’s 1874 Proof

LL: English Translation of Cantor’s 1874 Proof of Non-Denumerability

LL: English Translation of Cantor’s 1874 Proof of Non-Denumerability

LL: Cantor’s 1874 Proof of Non-Denumerability: Original German (Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen)

LL: Cantors Original 1891 Diagonal Proof

LL: The Power Set Proof

LL: Cantor’s 1884 paper On infinite linear point manifolds - Original German (Ueber unendliche, lineare Punktmannichfaltigkeiten)

LL: Cardinal Numbers

LL: Proof of more Real numbers than Natural numbers?

LL: Cantor’s religious beliefs and his transfinite numbers

LL: Cantor’s invented numbers

Paper: On Smith-Volterra-Cantor sets and their measure

Paper, previous v5: On Smith-Volterra-Cantor sets and their measure

Paper, previous v4: On Smith-Volterra-Cantor sets and their measure

Paper, previous v3: On Smith-Volterra-Cantor sets and their measure

Paper, previous v2: On Smith-Volterra-Cantor sets and their measure

Paper, previous v1: On Smith-Volterra-Cantor sets and their measure

LL: König - On the foundations of set theory and the continuum problem (English Translation)

LL: König - On the foundations of set theory… Original German (Über die Grundlagen der Mengenlehre und das Kontinuumproblem)

LL: Why do people believe weird things?

 

Paradoxes

LL: Paradoxes

LL: Liar Paradox

LL: Balls in the Urn Paradox (Ross-Littlewood)

LL: Berry Paradox

LL: Bertrand Paradox

LL: Church’s Paradox by Gödel

LL: Curry’s Paradox

LL: Drinker Paradox

LL: Goodman’s Paradox

LL: Grelling-Nelson Paradox

LL: Halbach and Zhang’s Yablo without Gödel

LL: Platonist Rod Paradox

LL: Quine’s Paradox

LL: Richard’s Paradox

LL: Smullyan’s Paradoxes

LL: Surprise Examination Paradox

LL: Wang’s Paradox

LL: Yablo’s Paradox

LL: A referee’s comments: laughable or depressing?

 

Other Topics

LL: Alexander’s Horned Sphere

LL: Chaitin’s Constant Error

LL: Computer-checked Proofs

LL: Formal Language

LL: How to tell if someone is a crackpot

LL: Is Mathematics Unreasonably Effective?

LL: Language, Logic and Intuition

LL: Logic and Language

LL: Mark Balaguer and Platonism

LL: Mathematical proofs

LL: Natural language and reality

LL: Numbers, chairs and unicorns

LL: Platonism

LL: Platonism’s Logical Blunder

LL: Pseudo-mathematics

LL: The Consistency of Arithmetic by Storrs McCall

LL: The Indispensability Argument

LL: The Myths of Platonism

LL: Thinking and Being by Irad Kimhi

LL: Turing’s Uncomputable Number

LL: Typical discussion about my work

 

Books

LL: Book: The Shackles of Conviction

LL: The Shackles of Conviction: Excerpts

LL: MathFiction Review of book ‘The Shackles of Conviction’ by Dr Kasman

LL: Book: The Infinity Delusion

 

Miscellaneous

LL: About

LL: Contact

LL: Glossary

LL: Site Design

LL: Sitemap

 

Blog Archive

LL: A Failure to understand

LL: A John Searle Inanity

LL: Are we alone in the Universe?

LL: Artificial Intelligence

LL: Bishops Dancing with Pixies?

LL: Cranks and Crackpots

LL: Descartes’ Platonism

LL: Fake News and Fake Mathematics

LL: Good Math, Bad Math?

LL: Man versus Machine

LL: Moderate Platonism

LL: Ned Block’s Blockhead

LL: Platonism according to Ulf Persson

LL: Random selection of numbers

LL: The Chinese Room

LL: The duplicity of Mark Chu-Carroll

LL: The Mary’s Room fallacy

 

Other Stuff

Easy Footnotes for Web Pages (Accessibility friendly)

Basic Footnote System Demo Page

 

How to setup a Dark mode switch on a web-site

Basic Dark mode Demo page

Basic Dark mode Demo page for pages with Disqus comments

 

Hashover responsive CSS demo - without borders

Hashover responsive CSS demo - with borders

 

Citroen C4 1.6 HDi service

Citroen C4 1.6 HDi Brakes

 

Copyright   James R Meyer   2012 - 2020
https://www.jamesrmeyer.com