XPost: comp.theory, comp.lang.prolog   
   From: janburse@fastmail.fm   
      
   Hi,   
      
   How it started, DeepSeek:   
      
   me: What are top ten books in set theory?   
   ai: bla bla   
   ai: Classic Set Theory: For Guided Independent Study by Derek C. Goldrei   
      
   How its going, ChatGPT:   
      
   me: What are top ten books in set theory?   
   ai: bla bla   
   ai: The Incomparable Axioms — Koellner (more philosophical, modern)   
      
   me: Nice try, I don't find "The Incomparable Axioms —   
   Koellner", you halucinated that   
      
   ai: You’re right — I made a mistake. I hallucinated a   
   book title. Sorry about that.   
      
   ai: Peter Koellner has written influential papers and   
   a thesis/lecture notes, but there is no book titled   
   The Incomparable Axioms by Koellner that I can find.   
      
   The Search for New Axioms   
   https://dspace.mit.edu/bitstream/handle/1721.1/7989/53014647-MIT.pdf   
      
   LoL   
      
   Bye   
      
   Mild Shock schrieb:   
   > Hi,   
   >   
   > Wikipedia only exists since 2001. How did people   
   > learn Logic before the new millenium? Seems you   
   > have been alive before 2001 already,   
   >   
   > when you are a software engineer since 1984. No   
   > logic for Acyclic Ozelot before 2001. Did really   
   > only bring Wikipedia, a secondary reference,   
   >   
   > logic to you. No primary sources of logic?   
   >   
   > Bye   
   >   
   > olcott schrieb:   
   >>   
   >> I Learned FOL from Wikipedia.   
   >  > I have been a software engineer since 1984.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)