Some decidable extensions of Skolem and Presburger, searched for and found by Ch... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		ogogmad 11 months ago \| parent \| context \| favorite \| on: Peano's Axioms Some decidable extensions of Skolem and Presburger, searched for and found by ChatGPT: https://chatgpt.com/share/67e1d302-c930-800f-bc2a-85bdc60563...

culi 11 months ago [–]

There are no specific extensions mentioned, a bunch of math symbol rendering issues, and what seems like maybe some hallucinations? Thanks for proving once again how useless chatgpt is if you're not already an expert on what you're asking it

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact