When #Infinity Defied the #Logicians : Medium
How to keep #Tech workers engaged in the age of #AI : Misc
#DarkEnergy #Bombshell sparks race to find a new #Model of the #Universe : New Sci
Check our latest #KnowledgeLinks
#Logicians
@ApostateEnglishman @georgetakei Also from 1940: ‘If, however, we assert positively that there are true propositions that are not verifiable, we abandon pure empiricism. Pure empiricism, finally, is believed by no one, and if we are to retain beliefs that we regard as valid, we must allow principles of inference which are neither demonstrative nor derivable from experience.’ From ‘Truth and Verification’ The William James Lectures, Harvard University.
So it’s agreed, the analytic philosophy of British and Austrian German logicians have no right to be imposed by the elite and neither do dialecticians, with their speculative philosophy to be denied to the people? #Logicians vs #Dialecticians
Which categories constitute the foundation of the concept? A cheeky anti-academic question, as philosophy has been carved at the joints by the commentators of its history and the logicians that endlessly reinvent it: empirical banality and or the obscurity and sophistry of formal abstractions! #SpeculativePhilosophy #DialecticalAnalysis #Dialecticians #Logicians
#OnThisDay Birth Anniversary of Kurt Gödel (1906) - Considered to be one of the most significant #Logicians in history.
Happy Birthday Penélope Cruz (1974) - first Spanish actress to win an #AcademyAward, as well as the first Spanish actress to receive a star on the Hollywood Walk of Fame.
Today is International Commemoration Day for Dead and Injured.
Any accounts in the Fediverse I can follow for #logicians #logic? I'm working on modal/deontic logics these days
#OnThisDay Birth Anniversary of Kurt Gödel (1906) - Considered to be one of the most significant #Logicians in history.
Happy Birthday Penélope Cruz (1974) - first Spanish actress to win an #AcademyAward, as well as the first Spanish actress to receive a star on the Hollywood Walk of Fame.
Today is International Commemoration Day for Dead and Injured.
#OnThisDay Birth Anniversary of Kurt Gödel (1906) - Considered to be one of the most significant #Logicians in history.
Happy Birthday Penélope Cruz (1974) - first Spanish actress to win an #AcademyAward, as well as the first Spanish actress to receive a star on the Hollywood Walk of Fame.
Today is International Commemoration Day for Dead and Injured.
I wonder how mad #logicians get about the use of the word #logic in the Star Trek series. 😅
@MariellaPetrigni must have been the #Western #linguists, #logicians and #philosophers for their #Indian counterparts in the first half of the 20th century were still continuing the millennia old concepts from #NavyaNyāya, Sāmkhya and #Vedanta.
Consider this commentary in an English translation of a textbook for children from the sixteenth century, Tarka-Sangraha of Annambhatta.
#Linguistics #Language #Logic #Science #Epistemology #Philosophy
@ilovecomputers lean is also the name of one of the most advanced higher order logic, dependent type theory proofer languages, for you #logicians out there
dear #logicians or twitter
Which of the following do you prefer to prove the existence of higher order cardinals and why?
Client Info
Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst