home bbs files messages ]

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