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: Online English Translation of Gödel’s Incompleteness Proof

LL: Gödel’s 1934 Undecidability lectures

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

LL: Francesco Berto - Yet Another Flawed Incompleteness Proof

LL: Bernd Buldt - Yet Another Flawed Incompleteness Proof

LL: Dan Gusfield - Yet Another Flawed Incompleteness Proof

LL: Byunghan Kim - Yet Another Flawed Incompleteness Proof

LL: Dennis Müller - Yet Another Flawed Incompleteness Proof

LL: Sebastian Oberhoff - Yet Another Flawed Incompleteness Proof

LL: Arindama Singh - Yet Another Flawed Incompleteness Proof

LL: Antti Valmari - Yet Another Flawed Incompleteness Proof

 

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: Understanding sets of decreasing intervals

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: Online English Translation of Cantor’s 1874 Proof of Non-Denumerability

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

LL: Cantor’s 1884 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: Online English translation of Part 1 of Cantor’s Über unendliche lineare Punktmannig-faltigkeiten (On infinite linear point-sets)

LL: Online English translation of Part 2 of Cantor’s Über unendliche lineare Punktmannig-faltigkeiten (On infinite linear point-sets)

LL: Online English translation of Cantor’s Grundlagen einer allgemeinen Mannigfaltigkeitslehre (Foundations of a general theory of sets)

LL: David Hilbert’s “On the Infinite” (Über das Unendliche)

LL: Cardinal Numbers

LL: The Origins of Transfinite 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 (Online 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?

LL: Shaughan Lavine’s “Understanding the Infinite

 

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: 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

LL: The Continuum Hypothesis

 

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

LL: Answers to some Quora questions

 

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: Is Mathematics Unreasonably Effective?

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

LL: The Mind-Body problem

 

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