566
Theories on Theories (mander.xyz)
submitted 6 months ago by to c/science_memes@mander.xyz
125 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[–] 3 points 6 months ago (5 children)

I see philosophy as a place to make nonrigorous arguments.

Wait do you think Bertrand Russell and Alan Turing and Kurt Gödel weren't making philosophical arguments?

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 5 child comments
    •
  • [–] 1 point 6 months ago* (last edited 6 months ago) (4 children)

    They are clearly mathematical. Starting with definitions and axioms and deriving results from there using mathematical statements.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 4 child comments
    •
  • [–] 1 point 6 months ago (2 children)

    They all debated the question what being mathematical means there whole lives.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 1 point 6 months ago* (1 child)

    And we determined that the resulting incompleteness proofs are valid mathematical proofs whose logical correctness has been verified by computer. https://formalizedformallogic.github.io/Catalogue/Arithmetic/G___del___s-First-Incompleteness-Theorem/#goedel-1

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •
  • [–] 1 point 6 months ago*

    They already knew that. You're treading an old worn out logical positivist path, that was inspired by Wittgenstein who worked closely with Russell (both mathematicians and philosophers) and he later saw his error, rejected his positivist followers and explained how truth is not a correspondence to facts, rather meaning is derived from use in language. This applies to all languages, formal and informal, including math and logic.

  • permalink
  • fedilink
  • source
  • parent