#philosophyofmath — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #philosophyofmath, aggregated by home.social.
-
Hi there! I'm Haru (or Ery), an adult, asian, disabled (hoh), audhd, st4t snow leopard (Panthera uncia). I study #philosophy and #mathematics :D
My academic interests are: #philosophyoflanguge, #logic (philosophical and mathematical), #epistemology, #metaphysics (logical, of objects), #philosophyofmind (of conception), and #philosophyofmath
My research topics are: Stalnaker-Lewis presuppositions, theories of meaning, type theoretic semantics, (dynamic) epistemic logics, non-classical logics (minimal semantics, non-normal, intuitionistic), Dummettian semantics, indeterminacy of translation, radical interpretation, and proof complexity.
I'm also interested in: model category theory, categorical logic, topos theory, provability logics, model theory, hermeneutics, biblical translation, and theology.
Other facets of autism I indulge in: rhythm games, Magic: the Gathering, music, Minecraft, conlanging, writing, #language learning, bird-watching, and drawing.
-
Hi there! I'm Haru (or Ery), an adult, asian, disabled (hoh), audhd, st4t snow leopard (Panthera uncia). I study #philosophy and #mathematics :D
My academic interests are: #philosophyoflanguge, #logic (philosophical and mathematical), #epistemology, #metaphysics (logical, of objects), #philosophyofmind (of conception), and #philosophyofmath
My research topics are: Stalnaker-Lewis presuppositions, theories of meaning, type theoretic semantics, (dynamic) epistemic logics, non-classical logics (minimal semantics, non-normal, intuitionistic), Dummettian semantics, indeterminacy of translation, radical interpretation, and proof complexity.
I'm also interested in: model category theory, categorical logic, topos theory, provability logics, model theory, hermeneutics, biblical translation, and theology.
Other facets of autism I indulge in: rhythm games, Magic: the Gathering, music, Minecraft, conlanging, writing, #language learning, bird-watching, and drawing.
-
Hi there! I'm Haru (or Ery), an adult, asian, disabled (hoh), audhd, st4t snow leopard (Panthera uncia). I study #philosophy and #mathematics :D
My academic interests are: #philosophyoflanguge, #logic (philosophical and mathematical), #epistemology, #metaphysics (logical, of objects), #philosophyofmind (of conception), and #philosophyofmath
My research topics are: Stalnaker-Lewis presuppositions, theories of meaning, type theoretic semantics, (dynamic) epistemic logics, non-classical logics (minimal semantics, non-normal, intuitionistic), Dummettian semantics, indeterminacy of translation, radical interpretation, and proof complexity.
I'm also interested in: model category theory, categorical logic, topos theory, provability logics, model theory, hermeneutics, biblical translation, and theology.
Other facets of autism I indulge in: rhythm games, Magic: the Gathering, music, Minecraft, conlanging, writing, #language learning, bird-watching, and drawing.
-
Hi there! I'm Haru (or Ery), an adult, asian, disabled (hoh), audhd, st4t snow leopard (Panthera uncia). I study #philosophy and #mathematics :D
My academic interests are: #philosophyoflanguge, #logic (philosophical and mathematical), #epistemology, #metaphysics (logical, of objects), #philosophyofmind (of conception), and #philosophyofmath
My research topics are: Stalnaker-Lewis presuppositions, theories of meaning, type theoretic semantics, (dynamic) epistemic logics, non-classical logics (minimal semantics, non-normal, intuitionistic), Dummettian semantics, indeterminacy of translation, radical interpretation, and proof complexity.
I'm also interested in: model category theory, categorical logic, topos theory, provability logics, model theory, hermeneutics, biblical translation, and theology.
Other facets of autism I indulge in: rhythm games, Magic: the Gathering, music, Minecraft, conlanging, writing, #language learning, bird-watching, and drawing.
-
Hi there! I'm Haru (or Ery), an adult, asian, disabled (hoh), audhd, st4t snow leopard (Panthera uncia). I study #philosophy and #mathematics :D
My academic interests are: #philosophyoflanguge, #logic (philosophical and mathematical), #epistemology, #metaphysics (logical, of objects), #philosophyofmind (of conception), and #philosophyofmath
My research topics are: Stalnaker-Lewis presuppositions, theories of meaning, type theoretic semantics, (dynamic) epistemic logics, non-classical logics (minimal semantics, non-normal, intuitionistic), Dummettian semantics, indeterminacy of translation, radical interpretation, and proof complexity.
I'm also interested in: model category theory, categorical logic, topos theory, provability logics, model theory, hermeneutics, biblical translation, and theology.
Other facets of autism I indulge in: rhythm games, Magic: the Gathering, music, Minecraft, conlanging, writing, #language learning, bird-watching, and drawing.
-
Could I please get some account recommendations and follows for @tones
I'll kinda vouch for him since my daughter thinks he kinda/sorta OK (at least until he gets his profile in shape. 😆)He's kinda new here and I want help him get his feet wet in the fediverse.
So, if your got anything for the following tags, I'd appreciate it!
#Math #Mathematics #PhilosophyOfMath #PhilosophyOfScience #Chess #Jazz #Guitar #DudesInBoatsFilms
I also learned, this morning, that he is also into the genre of "dudes in boats", if that helps. e.g.: Master & Commander and Red October. I recommended "Kon Tiki" and "Das Boot".
-
Could I please get some account recommendations and follows for @tones
I'll kinda vouch for him since my daughter thinks he kinda/sorta OK (at least until he gets his profile in shape. 😆)He's kinda new here and I want help him get his feet wet in the fediverse.
So, if your got anything for the following tags, I'd appreciate it!
#Math #Mathematics #PhilosophyOfMath #PhilosophyOfScience #Chess #Jazz #Guitar #DudesInBoatsFilms
I also learned, this morning, that he is also into the genre of "dudes in boats", if that helps. e.g.: Master & Commander and Red October. I recommended "Kon Tiki" and "Das Boot".
-
Could I please get some account recommendations and follows for @tones
I'll kinda vouch for him since my daughter thinks he kinda/sorta OK (at least until he gets his profile in shape. 😆)He's kinda new here and I want help him get his feet wet in the fediverse.
So, if your got anything for the following tags, I'd appreciate it!
#Math #Mathematics #PhilosophyOfMath #PhilosophyOfScience #Chess #Jazz #Guitar #DudesInBoatsFilms
I also learned, this morning, that he is also into the genre of "dudes in boats", if that helps. e.g.: Master & Commander and Red October. I recommended "Kon Tiki" and "Das Boot".
-
Could I please get some account recommendations and follows for @tones
I'll kinda vouch for him since my daughter thinks he kinda/sorta OK (at least until he gets his profile in shape. 😆)He's kinda new here and I want help him get his feet wet in the fediverse.
So, if your got anything for the following tags, I'd appreciate it!
#Math #Mathematics #PhilosophyOfMath #PhilosophyOfScience #Chess #Jazz #Guitar #DudesInBoatsFilms
I also learned, this morning, that he is also into the genre of "dudes in boats", if that helps. e.g.: Master & Commander and Red October. I recommended "Kon Tiki" and "Das Boot".
-
Could I please get some account recommendations and follows for @tones
I'll kinda vouch for him since my daughter thinks he kinda/sorta OK (at least until he gets his profile in shape. 😆)He's kinda new here and I want help him get his feet wet in the fediverse.
So, if your got anything for the following tags, I'd appreciate it!
#Math #Mathematics #PhilosophyOfMath #PhilosophyOfScience #Chess #Jazz #Guitar #DudesInBoatsFilms
I also learned, this morning, that he is also into the genre of "dudes in boats", if that helps. e.g.: Master & Commander and Red October. I recommended "Kon Tiki" and "Das Boot".
-
When I was in graduate school, I attended a talk by Dustin Clausen for a University of Rochester math seminar. He disucssed his work with Peter Scholze on condensed sets, and how they were happy to redefine topological spaces to fit their paradigm, since the spaces which couldn't be described in their setup aren't of much interest.
I remembered 20th century conflicts over the definition of a space and thought this sounded fine. The community often needs to adjust definitions as a clearer picture of the area is formed, but I figured we tend to settle on the «correct» definitions.
I was quite surprised to discover this note (https://arxiv.org/pdf/1311.4940) earlier this year, which describes how every topological space (in the established sense) is a «metric» space, if the notion of metric is generalized slightly. This is a clear win for the established definition, since it did better than expected in generalizing the notion of a metric space, and still captures the spectrum of a ring, etc.
The older I get, the more I realize that «correct» definitions are like «true» foundations: a human attempt to simplify complex structure (and sell our ideas). That's not to say there are no bad definitions, but choosing a single winner may be short-sighted.
-
When I was in graduate school, I attended a talk by Dustin Clausen for a University of Rochester math seminar. He disucssed his work with Peter Scholze on condensed sets, and how they were happy to redefine topological spaces to fit their paradigm, since the spaces which couldn't be described in their setup aren't of much interest.
I remembered 20th century conflicts over the definition of a space and thought this sounded fine. The community often needs to adjust definitions as a clearer picture of the area is formed, but I figured we tend to settle on the «correct» definitions.
I was quite surprised to discover this note (https://arxiv.org/pdf/1311.4940) earlier this year, which describes how every topological space (in the established sense) is a «metric» space, if the notion of metric is generalized slightly. This is a clear win for the established definition, since it did better than expected in generalizing the notion of a metric space, and still captures the spectrum of a ring, etc.
The older I get, the more I realize that «correct» definitions are like «true» foundations: a human attempt to simplify complex structure (and sell our ideas). That's not to say there are no bad definitions, but choosing a single winner may be short-sighted.
-
When I was in graduate school, I attended a talk by Dustin Clausen for a University of Rochester math seminar. He disucssed his work with Peter Scholze on condensed sets, and how they were happy to redefine topological spaces to fit their paradigm, since the spaces which couldn't be described in their setup aren't of much interest.
I remembered 20th century conflicts over the definition of a space and thought this sounded fine. The community often needs to adjust definitions as a clearer picture of the area is formed, but I figured we tend to settle on the «correct» definitions.
I was quite surprised to discover this note (https://arxiv.org/pdf/1311.4940) earlier this year, which describes how every topological space (in the established sense) is a «metric» space, if the notion of metric is generalized slightly. This is a clear win for the established definition, since it did better than expected in generalizing the notion of a metric space, and still captures the spectrum of a ring, etc.
The older I get, the more I realize that «correct» definitions are like «true» foundations: a human attempt to simplify complex structure (and sell our ideas). That's not to say there are no bad definitions, but choosing a single winner may be short-sighted.
-
When I was in graduate school, I attended a talk by Dustin Clausen for a University of Rochester math seminar. He disucssed his work with Peter Scholze on condensed sets, and how they were happy to redefine topological spaces to fit their paradigm, since the spaces which couldn't be described in their setup aren't of much interest.
I remembered 20th century conflicts over the definition of a space and thought this sounded fine. The community often needs to adjust definitions as a clearer picture of the area is formed, but I figured we tend to settle on the «correct» definitions.
I was quite surprised to discover this note (https://arxiv.org/pdf/1311.4940) earlier this year, which describes how every topological space (in the established sense) is a «metric» space, if the notion of metric is generalized slightly. This is a clear win for the established definition, since it did better than expected in generalizing the notion of a metric space, and still captures the spectrum of a ring, etc.
The older I get, the more I realize that «correct» definitions are like «true» foundations: a human attempt to simplify complex structure (and sell our ideas). That's not to say there are no bad definitions, but choosing a single winner may be short-sighted.
-
When I was in graduate school, I attended a talk by Dustin Clausen for a University of Rochester math seminar. He disucssed his work with Peter Scholze on condensed sets, and how they were happy to redefine topological spaces to fit their paradigm, since the spaces which couldn't be described in their setup aren't of much interest.
I remembered 20th century conflicts over the definition of a space and thought this sounded fine. The community often needs to adjust definitions as a clearer picture of the area is formed, but I figured we tend to settle on the «correct» definitions.
I was quite surprised to discover this note (https://arxiv.org/pdf/1311.4940) earlier this year, which describes how every topological space (in the established sense) is a «metric» space, if the notion of metric is generalized slightly. This is a clear win for the established definition, since it did better than expected in generalizing the notion of a metric space, and still captures the spectrum of a ring, etc.
The older I get, the more I realize that «correct» definitions are like «true» foundations: a human attempt to simplify complex structure (and sell our ideas). That's not to say there are no bad definitions, but choosing a single winner may be short-sighted.
-
The #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
-
The #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
-
The #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
-
The #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
-
The #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
-
Insightful paper: "Questions about which mathematical ideas mathematicians are exposed to and choose to pay attention to are epistemologically relevant and entangled with power dynamics and social justice concerns." https://doi.org/10.1007/s10516-022-09629-z HT Fenner Tanswell and @mjb #PhilosophyOfMath #SocialEpistemology
-
Insightful paper: "Questions about which mathematical ideas mathematicians are exposed to and choose to pay attention to are epistemologically relevant and entangled with power dynamics and social justice concerns." https://doi.org/10.1007/s10516-022-09629-z HT Fenner Tanswell and @mjb #PhilosophyOfMath #SocialEpistemology
-
Insightful paper: "Questions about which mathematical ideas mathematicians are exposed to and choose to pay attention to are epistemologically relevant and entangled with power dynamics and social justice concerns." https://doi.org/10.1007/s10516-022-09629-z HT Fenner Tanswell and @mjb #PhilosophyOfMath #SocialEpistemology
-
Insightful paper: "Questions about which mathematical ideas mathematicians are exposed to and choose to pay attention to are epistemologically relevant and entangled with power dynamics and social justice concerns." https://doi.org/10.1007/s10516-022-09629-z HT Fenner Tanswell and @mjb #PhilosophyOfMath #SocialEpistemology
-
Insightful paper: "Questions about which mathematical ideas mathematicians are exposed to and choose to pay attention to are epistemologically relevant and entangled with power dynamics and social justice concerns." https://doi.org/10.1007/s10516-022-09629-z HT Fenner Tanswell and @mjb #PhilosophyOfMath #SocialEpistemology
-
I don't know why you have to go looking for this in the CSHPM Bulletin (http://www.cshpm.org/archives/bulletins/71-2022.pdf p. 10) but the CfP for the next CSHPM #PhilosophyOfMath #HistoryOfMath meeting is out. Special session on Underrepresented Mathematics! Deadline for abstracts Feb 1, 2023 #xp
-
I don't know why you have to go looking for this in the CSHPM Bulletin (http://www.cshpm.org/archives/bulletins/71-2022.pdf p. 10) but the CfP for the next CSHPM #PhilosophyOfMath #HistoryOfMath meeting is out. Special session on Underrepresented Mathematics! Deadline for abstracts Feb 1, 2023 #xp
-
I don't know why you have to go looking for this in the CSHPM Bulletin (http://www.cshpm.org/archives/bulletins/71-2022.pdf p. 10) but the CfP for the next CSHPM #PhilosophyOfMath #HistoryOfMath meeting is out. Special session on Underrepresented Mathematics! Deadline for abstracts Feb 1, 2023 #xp
-
I don't know why you have to go looking for this in the CSHPM Bulletin (http://www.cshpm.org/archives/bulletins/71-2022.pdf p. 10) but the CfP for the next CSHPM #PhilosophyOfMath #HistoryOfMath meeting is out. Special session on Underrepresented Mathematics! Deadline for abstracts Feb 1, 2023 #xp
-
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
-
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
-
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
-
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
-
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
-
An #infinite number of $1 bills and an infinite number of $20 bills would be worth the same
https://www.youtube.com/watch?v=M4f_D17zIBw&ab_channel=Stand-upMaths
#StandUpMaths #Maths #Math #Mathematics #Infinity #Philosophy #PhilosophyOfMaths #PhilosophyOfMath #MattParker #Limmy
-
An #infinite number of $1 bills and an infinite number of $20 bills would be worth the same
https://www.youtube.com/watch?v=M4f_D17zIBw&ab_channel=Stand-upMaths
#StandUpMaths #Maths #Math #Mathematics #Infinity #Philosophy #PhilosophyOfMaths #PhilosophyOfMath #MattParker #Limmy
-
An #infinite number of $1 bills and an infinite number of $20 bills would be worth the same
https://www.youtube.com/watch?v=M4f_D17zIBw&ab_channel=Stand-upMaths
#StandUpMaths #Maths #Math #Mathematics #Infinity #Philosophy #PhilosophyOfMaths #PhilosophyOfMath #MattParker #Limmy