home.social
Sign in Create account

#axioms — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #axioms, aggregated by home.social.

  1. Samiro Discher @[email protected] ·

    An explanation of what axioms and mathematical proofs really are. With a reference to my tool that helps exploring some of them.

    math.codidact.com/posts/290943

    #Logic #Axioms #Mathematics #ProofTheory #HilbertSystems #ModalLogic #Research #Software

    #logic #axioms #mathematics #prooftheory #hilbertsystems #modallogic
  2. Jim Donegan 🎵 ✅ @[email protected] ·

    #StephenWolfram - Is #Mathematics #Invented or #Discovered?

    youtube.com/watch?v=RlMMeqO7wO

    #Philosophy #PhilosophyOfMathematics #Math #Maths #Logic #Metaphysics #Science #PhilosophyOfScience #Abstraction #Geometry #Arithmetic #Theorem #Theorems #Axiom #Axioms #Axiomatic #AxiomSystem #AxiomSystems #Computation #Irreducibility #CloserToTruth #RobertKuhn

    #robertkuhn #closertotruth #irreducibility #computation #axiomsystems #axiomsystem
  3. Jim Donegan 🎵 ✅ @[email protected] ·

    #StephenWolfram - Is #Mathematics #Invented or #Discovered?

    youtube.com/watch?v=RlMMeqO7wO

    #Philosophy #PhilosophyOfMathematics #Math #Maths #Logic #Metaphysics #Science #PhilosophyOfScience #Abstraction #Geometry #Arithmetic #Theorem #Theorems #Axiom #Axioms #Axiomatic #AxiomSystem #AxiomSystems #Computation #Irreducibility #CloserToTruth #RobertKuhn

    #robertkuhn #closertotruth #irreducibility #computation #axiomsystems #axiomsystem
  4. Jim Donegan 🎵 ✅ @[email protected] ·

    #StephenWolfram - Is #Mathematics #Invented or #Discovered?

    youtube.com/watch?v=RlMMeqO7wO

    #Philosophy #PhilosophyOfMathematics #Math #Maths #Logic #Metaphysics #Science #PhilosophyOfScience #Abstraction #Geometry #Arithmetic #Theorem #Theorems #Axiom #Axioms #Axiomatic #AxiomSystem #AxiomSystems #Computation #Irreducibility #CloserToTruth #RobertKuhn

    #robertkuhn #closertotruth #irreducibility #computation #axiomsystems #axiomsystem
  5. Jim Donegan 🎵 ✅ @[email protected] ·

    #StephenWolfram - Is #Mathematics #Invented or #Discovered?

    youtube.com/watch?v=RlMMeqO7wO

    #Philosophy #PhilosophyOfMathematics #Math #Maths #Logic #Metaphysics #Science #PhilosophyOfScience #Abstraction #Geometry #Arithmetic #Theorem #Theorems #Axiom #Axioms #Axiomatic #AxiomSystem #AxiomSystems #Computation #Irreducibility #CloserToTruth #RobertKuhn

    #stephenwolfram #mathematics #invented #discovered #philosophy #philosophyofmathematics
  6. Jim Donegan 🎵 ✅ @[email protected] ·

    #StephenWolfram - Is #Mathematics #Invented or #Discovered?

    youtube.com/watch?v=RlMMeqO7wO

    #Philosophy #PhilosophyOfMathematics #Math #Maths #Logic #Metaphysics #Science #PhilosophyOfScience #Abstraction #Geometry #Arithmetic #Theorem #Theorems #Axiom #Axioms #Axiomatic #AxiomSystem #AxiomSystems #Computation #Irreducibility #CloserToTruth #RobertKuhn

    #robertkuhn #closertotruth #irreducibility #computation #axiomsystems #axiomsystem
  7. Jim Donegan 🎵 ✅ @[email protected] ·

    #ScottAaronson - What is #Truth?

    youtube.com/watch?v=VA0-BQoXpq

    #Philosophy #Epistemology #Knowledge #Belief #Math #Maths #Mathematics #Goedel #Axiom #Axioms #Idealism #Platonism #Numbers #Propositions #Infinity #CloserToTruth #RobertKuhn

    #robertkuhn #closertotruth #infinity #propositions #numbers #platonism
  8. Jim Donegan 🎵 ✅ @[email protected] ·

    The #Distance Between #Numbers - #Numberphile

    youtube.com/watch?v=Sgupo9DLMG

    #Math #Maths #Mathematics #Numbers #2Adic #2AdicMetric #RationalNumbers #RealNumbers #Limit #Infinity #Converge #Convergence #Diverge #Divergence #RecreationalMaths #RecreationalMathematics #Axiom #Axioms #Axiomatic

    #recreationalmathematics #recreationalmaths #divergence #diverge #convergence #converge