Thanks to Ana Sokolova and Maria Paola Bonacina for speaking in the #CiE2025 Women in Computability workshop this afternoon! Moderating this panel is always super interesting. #MathSky #LogicSky @womeninlogic.bsky.social
July 15, 2025 at 6:10 PM
Thanks to Ana Sokolova and Maria Paola Bonacina for speaking in the #CiE2025 Women in Computability workshop this afternoon! Moderating this panel is always super interesting. #MathSky #LogicSky @womeninlogic.bsky.social
CCC 2025: Workshop on
Continuity, Computability, Constructivity -
From Logic to Algorithms
is calling for contributions
swansea-theory.github.io/conferences/...
Continuity, Computability, Constructivity -
From Logic to Algorithms
is calling for contributions
swansea-theory.github.io/conferences/...
CCC 2025: Continuity, Computability, Constructivity
Continuity, Computability, Constructivity - From Logic to Algorithms (CCC) is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a parti...
swansea-theory.github.io
June 27, 2025 at 1:04 PM
🚨TALK ANNOUNCEMENT🚨
Emma Gruner (Penn State University), "A Baire Category Approach to Besicovitch's Theorem"
September 4, 2025, 1pm UTC-5, on zoom
lagrange.math.siu.edu/calvert/Onli...
Emma Gruner (Penn State University), "A Baire Category Approach to Besicovitch's Theorem"
September 4, 2025, 1pm UTC-5, on zoom
lagrange.math.siu.edu/calvert/Onli...
Online Logic Seminar
lagrange.math.siu.edu
August 26, 2025 at 1:23 PM
#logicsky I feel like we had this conversation here within the last 6 months but I'm not finding the relevant thread(s).
What do we know, exactly, about when truth tables (as written out tables/diagrams) first appeared in logic books?
What do we know, exactly, about when truth tables (as written out tables/diagrams) first appeared in logic books?
September 18, 2024 at 12:45 PM
#logicsky I feel like we had this conversation here within the last 6 months but I'm not finding the relevant thread(s).
What do we know, exactly, about when truth tables (as written out tables/diagrams) first appeared in logic books?
What do we know, exactly, about when truth tables (as written out tables/diagrams) first appeared in logic books?
I seem to remember recently coming across a Fitch-style natural deduction for modal logic.
Of course, I remember nothing more than that.
#logicsky, can you help me?
Of course, I remember nothing more than that.
#logicsky, can you help me?
October 31, 2024 at 10:45 AM
I seem to remember recently coming across a Fitch-style natural deduction for modal logic.
Of course, I remember nothing more than that.
#logicsky, can you help me?
Of course, I remember nothing more than that.
#logicsky, can you help me?
#AtheistSky #AtheismSky #SecularSky #RationalSky #ReasonSky #LogicSky #ScienceSky #HistorySky #AncientSky #AncientHistorySky #BibleSky #ReligionSky #MethodologySky #LiterarySky #WritingSky #AnthropologySky #ArchaeologySky #RealitySky #LifeSky #WisdomSky #KnowledgeSky #HumanitySky #HumanistSky
March 10, 2025 at 9:22 PM
Saw this: tinyurl.com/53225tn9
Thought this: there must be a world record for breaking the most world records in one day. How many world records would you have to break in order to break that world record?
Help me out, #MathSky and #LogicSky!
Thought this: there must be a world record for breaking the most world records in one day. How many world records would you have to break in order to break that world record?
Help me out, #MathSky and #LogicSky!
14-year-old known as 'the human calculator' breaks 6 math world records in 1 day
Indian teenager Aaryan Shulka performs calculations in his head quicker than most people can use a calculator. At a recent event hosted by Guinness World Records, 14-year-old Shulka shattered six ment...
tinyurl.com
February 21, 2025 at 1:36 PM
Saw this: tinyurl.com/53225tn9
Thought this: there must be a world record for breaking the most world records in one day. How many world records would you have to break in order to break that world record?
Help me out, #MathSky and #LogicSky!
Thought this: there must be a world record for breaking the most world records in one day. How many world records would you have to break in order to break that world record?
Help me out, #MathSky and #LogicSky!
As teenager and into my 20s, I was a self-proclaimed Wittgensteinian, based on the Tractatus. The more I read and thought about it the issues were obvious.
Approaching middle age, I once again I find myself embracing the label, but now based on the Investigations.
#Philosophy #LogicSky #PhilSky
Approaching middle age, I once again I find myself embracing the label, but now based on the Investigations.
#Philosophy #LogicSky #PhilSky
April 3, 2025 at 12:05 AM
As teenager and into my 20s, I was a self-proclaimed Wittgensteinian, based on the Tractatus. The more I read and thought about it the issues were obvious.
Approaching middle age, I once again I find myself embracing the label, but now based on the Investigations.
#Philosophy #LogicSky #PhilSky
Approaching middle age, I once again I find myself embracing the label, but now based on the Investigations.
#Philosophy #LogicSky #PhilSky
I don't think I ever really fully appreciated later Wittgenstein the way he deserved until I became enamored with Paul Lorenzen. Anyone else travel a similar path?
#Philosophy #PhilosophySky #PhilSky #LogicSky #MathSky #Mathematics
#Philosophy #PhilosophySky #PhilSky #LogicSky #MathSky #Mathematics
March 31, 2025 at 8:13 PM
I don't think I ever really fully appreciated later Wittgenstein the way he deserved until I became enamored with Paul Lorenzen. Anyone else travel a similar path?
#Philosophy #PhilosophySky #PhilSky #LogicSky #MathSky #Mathematics
#Philosophy #PhilosophySky #PhilSky #LogicSky #MathSky #Mathematics
🚨TALK ANNOUNCEMENT🚨
Annalisa Conversano (Massey University), "Groups and rings in o-minimal structures," August 28, 2025, 1pm UTC-5 on zoom.
lagrange.math.siu.edu/calvert/Onli...
Annalisa Conversano (Massey University), "Groups and rings in o-minimal structures," August 28, 2025, 1pm UTC-5 on zoom.
lagrange.math.siu.edu/calvert/Onli...
Online Logic Seminar
lagrange.math.siu.edu
August 26, 2025 at 1:24 PM
Some theorists are branding #Category theory as a thought tool for any domain. Yet, it is difficult to convince computer scientists nowadays to learn Logic and Formal Proofs. #LogicSky
Source: www.youtube.com/watch?v=M3qQ...
Source: www.youtube.com/watch?v=M3qQ...
February 18, 2025 at 2:39 PM
Some theorists are branding #Category theory as a thought tool for any domain. Yet, it is difficult to convince computer scientists nowadays to learn Logic and Formal Proofs. #LogicSky
Source: www.youtube.com/watch?v=M3qQ...
Source: www.youtube.com/watch?v=M3qQ...
Andrew DeLapo, David Gonzalez
Computability of Separation Axioms in Countable Second Countable Spaces
https://arxiv.org/abs/2507.18564
Computability of Separation Axioms in Countable Second Countable Spaces
https://arxiv.org/abs/2507.18564
July 25, 2025 at 7:52 AM
Agreed!!
“Love your neighbor”-The Guy we should be listening to as much as we appeal to his authority.
#jesus #jung #psychsky #philsky #logicsky #fallacysky #fallacy #logicalfallacy #bias #cognitivebias #manipulation #seduction #48lawsofpower #groupthink #backfire #irony #medialiteracy
“Love your neighbor”-The Guy we should be listening to as much as we appeal to his authority.
#jesus #jung #psychsky #philsky #logicsky #fallacysky #fallacy #logicalfallacy #bias #cognitivebias #manipulation #seduction #48lawsofpower #groupthink #backfire #irony #medialiteracy
August 20, 2025 at 6:57 AM
Agreed!!
“Love your neighbor”-The Guy we should be listening to as much as we appeal to his authority.
#jesus #jung #psychsky #philsky #logicsky #fallacysky #fallacy #logicalfallacy #bias #cognitivebias #manipulation #seduction #48lawsofpower #groupthink #backfire #irony #medialiteracy
“Love your neighbor”-The Guy we should be listening to as much as we appeal to his authority.
#jesus #jung #psychsky #philsky #logicsky #fallacysky #fallacy #logicalfallacy #bias #cognitivebias #manipulation #seduction #48lawsofpower #groupthink #backfire #irony #medialiteracy