Jim Donegan ✅ · @jimdonegan
1553 followers · 4634 posts · Server mastodon.scot
#PaulDavies - Why the ‘Unreasonable Effectiveness’ of #Mathematics
https://www.youtube.com/watch?v=PmgPoWZTOgo&ab_channel=CloserToTruth
#Philosophy #PhilosophyOfScience #PhilosophyOfMathematics #Math #Maths #Logic #Metaphysics #Physics #EugeneWigner #Wigner #CloserToTruth #RobertKuhn
#RobertKuhn #CloserToTruth #wigner #eugenewigner #physics #metaphysics #logic #maths #math #PhilosophyOfMathematics #philosophyofscience #philosophy #mathematics #PaulDavies
Jim Donegan ✅ · @jimdonegan
1477 followers · 4214 posts · Server mastodon.scot#AlexKontorovich - The #RiemannHypothesis Explained
https://www.youtube.com/watch?v=zlm1aajH6gY&ab_channel=QuantaMagazine
#PhilosophyOfMathematics #Math #Maths #Mathematics #BernhardRiemann #Riemann #Prime #Primes #PrimeNumbers #ComplexNumbers #ImaginaryNumbers #ComplexPlane #QuantaMagazine
#quantamagazine #complexplane #ImaginaryNumbers #complexnumbers #primenumbers #primes #prime #riemann #bernhardriemann #mathematics #maths #math #PhilosophyOfMathematics #riemannhypothesis #alexkontorovich
· @e7_87
24 followers · 25 posts · Server mathstodon.xyzhttps://plato.stanford.edu/entries/mathematics-constructive/
Constructive math is distinguished from its traditional counterpart, classical math, by the strict interpretation of the phrase “there exists” as “we can construct”.
1 Intuitionistic Math
"math unfolds itself internally, formalization, although not unacceptable, is unnecessary."(from SEP entry)
2 Recursive Constructive Math
3 Bishop’s Constructive Math
"the building blocks of mathematics were the positive integers"
4 Martin-Löf’s Type Theory
· @e7_87
24 followers · 22 posts · Server mathstodon.xyzhttps://philosophy.stackexchange.com/a/87035
"Naive set theory is the theory used historically by G. Frege to show that all mathematics reduces to logic. Type theory was proposed and developed by B. Russell and others to put a restriction on set theory to avoid Russell's paradox...category theory has been offered as an alternative to ZFC as a foundational theory...
... set theory (by way of ZFC) is important to the logicist program, and category theory appeals to structuralists"
· @e7_87
24 followers · 21 posts · Server mathstodon.xyz"there are two conflicting views: a set is considered either a collection of things (Cantor), or synonymous with a property (attribute, predicate) of things. "
"in addition to logic we rely on this existential creed and the idea of iteration. ... Poincaré has proved right in his defense of mathematical induction as an indispensable and irreducible tool of mathematical reasoning."
-- "Mathematics and Logic", Hermann Weyl
Jim Donegan ✅ · @jimdonegan
1388 followers · 3825 posts · Server mastodon.scotThe #SleepingBeautyProblem in #Probability
Are you a 'halfer' or a 'thirder'?
https://www.youtube.com/watch?v=XeSu9fBJ2sI&ab_channel=Veritasium
#Philosophy #PhilosophyOfMath #PhilosophyOfMaths #PhilosophyOfMathematics #Chance #SleepingBeauty
#sleepingbeauty #chance #PhilosophyOfMathematics #philosophyofmaths #philosophyofmath #philosophy #probability #sleepingbeautyproblem
Jim Donegan ✅ · @jimdonegan
964 followers · 1983 posts · Server mastodon.scot
Is #mathematics invented or discovered?
https://www.youtube.com/watch?v=6CVjoOtA5eg&ab_channel=CloserToTruth
#Philosophy #PhilosophyOfMathematics #PhilosophyOfMaths #PhilosophyOfMath #Math #Maths #Idealism #Platonism #Realism #AntiRealism #Materialism #Physicalism #Metaphysics #CloserToTruth #RobertKuhn
#RobertKuhn #CloserToTruth #metaphysics #physicalism #materialism #antirealism #realism #platonism #idealism #maths #math #philosophyofmath #philosophyofmaths #PhilosophyOfMathematics #philosophy #mathematics
Ted Talbot · @tedtalb
24 followers · 5 posts · Server zirk.us#introduction Greetings again (moved from hcommons.social)! I'm an independent philosopher and self-employed translator originally from NYC and living in Saarbrücken, Germany. My present interests include: My family as well as (in random order)
#Spinoza
#Marx
#Freud
#AncientGreekPhilosophy
#EarlyAnalyticPhilosophy
#FrankfurtSchool
#PhilosophyofMathematics
#PhilosophyofScience
#RichardWagner
#Shostakovitch
#ChamberMusic
#Bluegrass
#Bebop
#Literature
#Art
#WeimarRepublic
#Cycling
#Rabbits
#introduction #spinoza #Marx #Freud #AncientGreekPhilosophy #EarlyAnalyticPhilosophy #FrankfurtSchool #PhilosophyOfMathematics #philosophyofscience #RichardWagner #Shostakovitch #chambermusic #bluegrass #bebop #literature #art #WeimarRepublic #cycling #rabbits
Jim Donegan ✅ · @jimdonegan
955 followers · 1921 posts · Server mastodon.scot
Paterson #Primes - with #3Blue1Brown - #Numberphile
https://www.youtube.com/watch?v=jhObLT1Lrfo&ab_channel=Numberphile
#Maths #Math #Mathematics #PhilosophyOfMaths #PhilosophyOfMathematics #PrimeNumbers #Arithmetic
#arithmetic #primenumbers #PhilosophyOfMathematics #philosophyofmaths #mathematics #math #maths #numberphile #3Blue1Brown #primes
Jim Donegan ✅ · @jimdonegan
955 followers · 1921 posts · Server mastodon.scotDoes #math reveal reality? Is math discovered or created?
https://www.youtube.com/watch?v=VN19VOMHxkk&ab_channel=WorldScienceFestival
#Metaphysics #Philosophy #PhilosophyOfMathematics #Maths #Mathematics #Science #Physics #WorldScienceFestival #Platonism #Idealism #Realism
#realism #idealism #platonism #WorldScienceFestival #physics #science #mathematics #maths #PhilosophyOfMathematics #philosophy #metaphysics #math
Jim Donegan ✅ · @jimdonegan
956 followers · 1921 posts · Server mastodon.scotWhat's the #probability you live in an odd numbered house?
https://www.youtube.com/watch?v=wydlZ9lcEiQ&ab_channel=singingbanana
#Math #Maths #Mathematics #Arithmetic #Counting #Philosophy #PhilosophyOfMathematics
#PhilosophyOfMathematics #philosophy #counting #arithmetic #mathematics #maths #math #probability