In 1931, Kurt Gödel proved that any system describing the natural numbers could not be both consistent and complete. #Poetry #Science #History #Logic #Incompleteness #Gödel (https://sharpgiving.com/thebookofscience/items/p1931a.html)
Recent searches
Search options
#logic
6 posts6 participants1 post today
The 9th International Workshop on Trends in Linear Logic and Applications (#TLLA) will take place in Birmingham, 
, on 19–20 July 2025.
Contributions are open to tutorials, discussions, position papers, work in progress & open questions!
Anything related to #linear #logic welcome.
s::= s ⊗ s | s ⊕ s | s ⊸ s | s & s | s ⅋ s | !s | ?s
Submission: 21 May 2025 
Notification: 28 May 2025
TLLA 2025TLLA 2025TLLA 2025 is the 9th edition of the International Workshop on Trends in Linear Logic and its Applications.
Twisted Logic; Puzzles, Paradoxes, and Big Questions by Leighton Vaughan Williams, 2024
Draws upon an array of popular and novel puzzles, problems, and paradoxes, and uses these to help understand and navigate our everyday world. Addresses some of the big questions. Aimed at all those interested in learning about weird and wonderful problems and paradoxes.
0 can only be
- AOC dabbler
#settheory #logic
Hackaday Links: April 13, 2025 - It’s been a while since we’ve dunked on an autonomous taxi foul-up, mainly because... - https://hackaday.com/2025/04/13/hackaday-links-april-13-2025/ #polyethyleneterephthalate #logicalfallacies #hackadaycolumns #theengineerguy #hackadaylinks #amateurradio #autonomous #sodabottle #robotaxi #startrek #driving #slider #dragon #spacex #fram2 #logic #spock #waymo #x-ray #pet
Hackaday · Hackaday Links: April 13, 2025It’s been a while since we’ve dunked on an autonomous taxi foul-up, mainly because it seemed for a while there that most of the companies field testing driverless ride-sharing services …
A new Ph.D thesis prize is being established in honor of Zoé Chatzidakis, by Fondation Sciences Mathématiques de Paris.
This yearly award for an outstanding thesis in model theory will honor her scientific legacy and her commitment to the younger generation.
https://www.helloasso.com/associations/fondation-sciences-mathematiques-de-paris/formulaires/7
Why Do Some #Planets Have #Rings While Others Don’t?
#Mathematicians uncover the #Logic behind how #People walk in #Crowds : MIT
An #mRNA #Cancer #Vaccine may offer long-term #Protection : Misc
Check our latest #KnowledgeLinks
I'm pleased to say that I'm helping to organise the #ANU #LogicSummerSchool , which will be running in its 33rd straight year! The website https://comp.anu.edu.au/lss/ is mostly TBA notices at the moment, of course, but we do have the dates: 1-12 December. This is an international event and we hope to be able to have a limited number of grants available for students to use to travel to #Canberra . #logic
Logic Summer School @ANU33rd Annual Logic Summer School @ANUHomepage of the Logic Summer School program at ANU School of Computing.
“We’re stepping into the most pro-growth, pro-business, pro-American administration I’ve perhaps seen in my adult lifetime,” gushed the hedge fund manager Bill Ackman in December...
“You don’t get fired for being bullish, but you do get fired for being bearish on Wall Street,” said Berezin.
#finance #trade #tariffs #macroeconomics #Trumpism #collapse #psychology #groupthink #rationality #biases #logic #reasoning
https://www.nytimes.com/2025/04/07/opinion/trump-stock-market-wall-street.html
The New York Times · Opinion | Why Did Wall Street Get Trump So Wrong?
Continued thread
I'm excited to join the editorial board of a new diamond open access journal in mathematical logic:
ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
The open letter of the editors of ZML can be found online on the webpage.
More on the collective action and an editorial board walk-out that led to the creation of this new journal:
https://blog.tib.eu/2025/04/07/mlq-walk-out/
Today the editorial board of _Mathematical Logic Quarterly_ (pub'd by #Wiley) resigned and launched a new #DiamondOA journal on the same topics.
https://open-access.network/services/news/artikel/ruecktritt-des-mlq-editorial-teams
See the open letter announcing their resignations and plans for the new journal.
https://zml.international/files/zml-open-letter.pdf
The new journal has a German title but will publish in English, _Zeitschrift für Mathematische Logik und Grundlagen der Mathematik_.
https://zml.international/
I track these journal "declarations of independence" in the #OpenAccessDirectory (#OAD), and just added an entry for this one, at the bottom in chronological order.
https://oad.simmons.edu/oadwiki/Journal_declarations_of_independence#2025
I also track them — and discussions of them — in the Open Access Tracking Project (#OATP, @oatp).
http://tagteam.harvard.edu/hubs/oatp/tag/oa.declarations_of_independence
open-access.networkRücktritt des MLQ-Editorial-TeamsReaktion auf Differenzen mit Wiley: Gründung eines neuen Open Access Journals
Replied to Coach Pāṇini ®
@paninid fast forward to the present and scientists who barely study #philosophy label #metaphysics as #pseudoscience (forgetting what #PhD means), torment #logic for the benefit of "elegant" #math equations (e.g. antimatter, dark #matter), and design #AI #systems that weaponize #ethics as justification for #information #censorship (#ChatGPT "knows" but refuses to answer how to a hot wire a car or commit murder while claiming no #opinion, ignorant that words and actions are different)
#Aristotle named five interlinked Noble Sciences which together make up #Philosophy.
- #Metaphysics: the study of existence, the nature of the universe and all its contents
- #Logic: the ways we may know something, the set of permissible conclusions we may draw based on our perceptions, and some sensible rules of deduction and inference
- #Ethics: what we know about man and what we may deduce and infer (through Logic) about acceptable interactions between pairs of individuals
1/2
“𝙳𝚎𝚎𝚙 𝚒𝚗 𝚝𝚑𝚎 𝚑𝚞𝚖𝚊𝚗 𝚞𝚗𝚌𝚘𝚗𝚜𝚌𝚒𝚘𝚞𝚜 𝚒𝚜 𝚊 𝚙𝚎𝚛𝚟𝚊𝚜𝚒𝚟𝚎 𝚗𝚎𝚎𝚍 𝚏𝚘𝚛 𝚊 𝚕𝚘𝚐𝚒𝚌𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚝𝚑𝚊𝚝 𝚖𝚊𝚔𝚎𝚜 𝚜𝚎𝚗𝚜𝚎. 𝙱𝚞𝚝 𝚝𝚑𝚎 𝚛𝚎𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚒𝚜 𝚊𝚕𝚠𝚊𝚢𝚜 𝚘𝚗𝚎 𝚜𝚝𝚎𝚙 𝚋𝚎𝚢𝚘𝚗𝚍 𝚕𝚘𝚐𝚒𝚌.”
― 𝘍𝘳𝘢𝘯𝘬 𝘏𝘦𝘳𝘣𝘦𝘳𝘵, 𝘋𝘶𝘯𝘦
