Groups | Search | Server Info | Login | Register
| Newsgroups | sci.logic |
|---|---|
| Date | 2023-06-03 08:31 -0700 |
| References | (21 earlier) <979831cb-81c2-4c7c-abbf-9601177d5f0bn@googlegroups.com> <1826c8de-340b-4d56-baa8-dde45ab3adcen@googlegroups.com> <07a9a607-9216-4168-8a62-48e6c8213a15n@googlegroups.com> <50b6b54d-d2d5-4d04-b3b3-30146bbd2d62n@googlegroups.com> <4eecd5a7-fe10-4982-bd4b-1c33df48c976n@googlegroups.com> |
| Message-ID | <3bd55709-0ea0-4de1-ab52-ebf5df53af96n@googlegroups.com> (permalink) |
| Subject | Re: Why is model theory needed? |
| From | Mild Shock <bursejan@gmail.com> |
So its just a matter of time, like months or weeks, and we have ChatGPT integrated in IDEs at our desktop, coding help at our fingertips: "In line with our iterative deployment philosophy, we are gradually rolling out plugins in ChatGPT so we can study their real-world use, impact, and safety and alignment challenges—all of which we’ll have to get right in order to achieve our mission." https://openai.com/blog/chatgpt-plugins They are quite on mission. This will suplant GitHub Copilot? Well doesn't matter GitHub Copilot uses also OpenAI Codex. But in March 2023, OpenAI shut down access to Codex, but I guess they didn't do it for some moratorium, they have a better replacement: "On March 23rd, we will discontinue support for the Codex API. All customers will have to transition to a different model. Codex was initially introduced as a free limited beta in 2021, and has maintained that status to date. Given the advancements of our newest GPT-3.5 models for coding tasks, we will no longer be supporting Codex and encourage all customers to transition to GPT-3.5-Turbo. About GPT-3.5-Turbo GPT-3.5-Turbo is the most cost effective and performant model in the GPT-3.5 family. It can both do coding tasks while also being complemented with flexible natural language capabilities." https://news.ycombinator.com/item?id=35242069 Mild Shock schrieb am Freitag, 2. Juni 2023 um 00:18:43 UTC+2: > Wao! I love coding so much, maybe should jump > into no-coding. How would I setup my computer > and have myself better skills, so that I would > > do no-coding. Like the current project I am > wroking on. A ChatGPT AI would first need to > have a model/context of my current project. > > And then maybe I could sit back, ask it: > Please do this for me, please do that for me. > Which would be on second thought quite swell! > Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 23:55:23 UTC+2: > > Today I had for some minutes a strong feeling > > of obsolence, was even imagining that these could > > be my last days where I write some "program code". > > > > This happened after I saw ChatGPT doing logic. > > Although was reading about "Low Code / No Code" > > already for a while. So which profession gets hit first? > > > > Profiles of the future : an inquiry into the limits of the possible > > Arthur C. Clarke - 1962, Chapter 18: The Obsolence of Man > > https://archive.org/details/profilesoffuture00clar/page/222/mode/2up > > > > Arthur C. Clarke talks > > A Space Odyssey and artificial intelligence, 1968 > > https://www.youtube.com/watch?v=zNJbUYD-pfo > > Jeffrey Rubard schrieb am Donnerstag, 1. Juni 2023 um 23:24:22 UTC+2: > > > On Thursday, June 1, 2023 at 12:54:26 PM UTC-7, Mild Shock wrote: > > > > But there is not much room left for us humans. > > > > Here you see ChatGPT juggle with modal logic, > > > > and even managing to produce proofs with > > > > > > > > and without LEM. ChatGPT does: > > > > > > > > - Here's how you can translate the proof into natural deduction: > > > > - Here's an alternative proof that does not rely on LEM: > > > > - Here's the translation of the proof into Fitch-style natural deduction: > > > > - Here's the translation of the proof into Gentzen's tree-style natural deduction: > > > > - Here's the translation of the proof into sequent-style natural deduction: > > > > https://chat.openai.com/share/79ae4f02-fd07-4786-800b-305bc9eed143 > > > > Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 21:40:47 UTC+2: > > > > > Hi, > > > > > > > > > > My ultimate goal, because this thread is name "Why is > > > > > model theory needed?", is to have ▷ formalized, and > > > > > then see what we can find out about the drinker paradox. > > > > > > > > > > There exist some notions of ▷ , which have been lifted > > > > > from term logic à la Aristoteles, where categories > > > > > human and mortal and can form human ▷ mortal, > > > > > > > > > > to model theorem, so that the participants in ▷ > > > > > are models. But if I am not 100% mistaken, der are > > > > > a couple of options to do it, like ▷1, ▷2 or ▷3. > > > > > > > > > > Bye > > > > > > > > > > Ross Finlayson schrieb am Donnerstag, 1. Juni 2023 um 20:43:21 UTC+2: > > > > > > ... gibberish about nonsense ... > > > "This is not even good hoaxing, guys."
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-30 15:05 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-30 15:14 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-30 15:57 -0700
Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-30 18:45 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 01:42 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 01:55 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 02:09 -0700
Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 08:21 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 08:28 -0700
Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 08:39 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 11:50 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 11:58 -0700
Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 13:10 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 21:12 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 21:35 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 11:43 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 12:40 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 12:54 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-01 14:24 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 14:55 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 15:18 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 08:31 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 09:10 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-02 08:19 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-02 11:20 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-03 08:27 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 08:31 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-03 13:53 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 13:57 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-03 14:04 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 14:13 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 07:47 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-04 08:26 -0700
Re: Why is model theory needed? Mild Shock <janburse@fastmail.fm> - 2023-06-04 17:53 +0200
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-04 15:31 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 17:21 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 17:30 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 17:39 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 17:49 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-05 08:20 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-05 10:56 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-05 13:16 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-05 13:17 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-05 15:10 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-05 14:07 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-05 15:09 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-05 17:51 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-05 22:54 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-06 18:44 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-06 21:02 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-07 11:42 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-07 13:48 -0700
Re: Why is model theory needed? Mild Shock <janburse@fastmail.fm> - 2023-06-07 23:43 +0200
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-08 12:14 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-08 12:19 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 10:54 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 10:54 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 11:35 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 11:53 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 11:58 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:27 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 11:59 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:27 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-06 18:43 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 05:18 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 05:20 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 10:53 -0700
Re: Why is model theory needed? Mild Shock <janburse@fastmail.fm> - 2023-06-09 21:28 +0200
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:27 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:28 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 15:45 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:51 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:51 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 15:57 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:03 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:09 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 16:19 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 16:20 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:21 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:28 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:28 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-10 08:25 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-10 09:08 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-10 09:13 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-10 12:52 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-10 13:21 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-11 08:25 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-11 08:44 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-11 09:06 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 10:55 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-11 11:54 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 13:12 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-11 13:59 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 15:26 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 15:31 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 15:34 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-12 08:31 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 08:39 -0700
Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 08:56 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 09:00 -0700
Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 09:07 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 09:22 -0700
Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 13:30 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 09:37 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 09:50 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 10:13 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 10:27 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 10:35 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 10:40 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 10:48 -0700
Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 13:29 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 16:07 -0700
Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-13 08:31 -0700
Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-13 13:07 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-14 03:19 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-14 03:21 -0700
Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-14 12:42 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-14 13:50 -0700
Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 13:30 -0700
Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 13:31 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 14:27 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-12 14:31 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-12 14:33 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 18:46 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-12 08:31 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-12 08:30 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-10 12:51 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-10 15:13 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-10 15:19 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-11 08:25 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-10 08:24 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 13:05 -0700
Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 08:15 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 11:41 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 11:48 -0700
Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 12:52 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 13:06 -0700
Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 13:28 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 18:53 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:18 -0700
Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 13:53 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:58 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 14:06 -0700
Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-05-31 14:08 -0700
Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 15:57 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 16:46 -0700
Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 17:31 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 02:48 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 03:02 -0700
Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 08:19 -0700
Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-01 08:42 -0700
Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 07:07 -0700
Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 11:03 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 11:08 -0700
Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 11:14 -0700
csiph-web