Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.prolog > #15034
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Newsgroups | comp.theory, comp.ai.philosophy, comp.lang.prolog |
| Subject | What are top ten books in set theory? (Re: What did you do before 2001 ?) |
| Date | 2025-11-19 10:16 +0100 |
| Message-ID | <10fk1te$amn7$2@solani.org> (permalink) |
| References | (5 earlier) <10fipfh$82j6$4@solani.org> <10fiqd0$1rv37$1@dont-email.me> <10fir5a$83mj$2@solani.org> <10fites$1spea$1@dont-email.me> <10fk0d1$algj$1@solani.org> |
Cross-posted to 3 groups.
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.
Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Re: How teach logic? [The Jokes] (Re: People that have a very shallow understanding of these things) olcott <polcott333@gmail.com> - 2025-11-18 16:02 -0600
Enjoying some logic under a shadowy tree? (Was: How teach logic? [The Jokes]) Mild Shock <janburse@fastmail.fm> - 2025-11-18 23:15 +0100
Re: Enjoying some logic under a shadowy tree? (Was: How teach logic? [The Jokes]) olcott <polcott333@gmail.com> - 2025-11-18 16:54 -0600
What did you do before 2001 ? (Was: Enjoying some logic under a shadowy tree?) Mild Shock <janburse@fastmail.fm> - 2025-11-19 09:50 +0100
What are top ten books in set theory? (Re: What did you do before 2001 ?) Mild Shock <janburse@fastmail.fm> - 2025-11-19 10:16 +0100
Slim Fermats Last Theorem (FLT) only for Lean4? (Was: What are top ten books in set theory?) Mild Shock <janburse@fastmail.fm> - 2025-11-19 11:14 +0100
Re: How teach logic? [The Jokes] (Re: People that have a very shallow understanding of these things) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-18 15:15 -0800
csiph-web