Forums before death by AOL, social media and spammers... "We can't have nice things"
|    sci.logic    |    Logic -- math, philosophy & computationa    |    262,912 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 261,029 of 262,912    |
|    Mild Shock to Mild Shock    |
|    Teach Logic: Do Non-Wellfounded Proofs (    |
|    18 Nov 25 23:34:53    |
      XPost: sci.math, sci.physics.relativity       From: janburse@fastmail.fm              Hi,              This is almost like Peter Aczels lost Notes,       where he describes cyclic formulas. Works astonishing       well for cyclic Prolog terms and arrow functions,              see the odd/even example. But jokes aside, check this out:              Q: WHAT IS THE KEY TO SUCCESS?       A: HIRE THE RIGHT EMPLOYEES!              Q: HOW DO YOU KNOW YOU HIRED THE RIGHT ONES?       A: YOU KNOW BECAUSE THE BUSINESS IS SUCCESSFUL.              Q: SO THE KEY TO SUCCESS IS CIRCULAR REASONING?       A: YES, BECAUSE CIRCULAR REASON-ING IS THE KEY.       DilbertCartoonist@gmail.com              Non-Well-Founded Proofs and Non-Well-Founded Research       https://logic-mentoring-workshop.github.io/lics25/slides/lmw_Liron.pdf              Bye              Mild Shock schrieb:       > Hi,       >       > Rossy Boy. Who was your logic teacher, and       > how were you tought logic (in case you were       > tought logic at all).       >       > How would you do it differently now, how       > would you somebody teach logic? What is your       > logic teaching "theory", is it like       >       > learning to ride a bike? You need some helping       > hand that stabilizes your thought? Or can you       > just start and then land on your face       >       > flat on the asphalt?       >       > Bye       >       > Ross Finlayson schrieb:       >> On 11/17/2025 02:15 PM, Ross Finlayson wrote:       >>> "A paradox to me is like a red flag to a matador."       >> Thanks Kimi. I gathered the conclusions and will post the positions and       >> conclusions. This session ends. In gratuity, and I know the usual usage       >> would be "gratitude", in gratuity, thanks and I'll post these to "The       >> fundamental joke of logic", on sci.logic.              --- SoupGate-Win32 v1.05        * Origin: you cannot sedate... all the things you hate (1:229/2)    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca