Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog > #13996

Re: The road to Artificial Intelligence

From Mild Shock <janburse@fastmail.fm>
Newsgroups comp.lang.prolog
Subject Re: The road to Artificial Intelligence
Date 2024-02-27 17:03 +0100
Message-ID <url15e$m5i4$3@solani.org> (permalink)
References <b406aa35-c39b-46f3-862f-1cc4b75143ae@googlegroups.com> <338dc0fb-4a93-405f-99da-7799d25ddc91n@googlegroups.com>

Show all headers | View raw

Terence Tao, "Machine Assisted Proof"
https://www.youtube.com/watch?v=AayZuuDDKP0

Mostowski Collapse schrieb:
> Don't buy your Pearls in Honk Kong. They are all fake.
> 
> So what do you prefer, this Haskell monster:
> https://www.cs.nott.ac.uk/~pszgmh/countdown.pdf

Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Re: The road to Artificial Intelligence Mostowski Collapse <bursejan@gmail.com> - 2023-02-18 03:28 -0800
  Re: The road to Artificial Intelligence Mostowski Collapse <bursejan@gmail.com> - 2023-02-18 04:15 -0800
    Re: The road to Artificial Intelligence Mostowski Collapse <bursejan@gmail.com> - 2023-02-18 04:47 -0800
      Re: The road to Artificial Intelligence Mostowski Collapse <bursejan@gmail.com> - 2023-02-18 08:10 -0800
        Re: The road to Artificial Intelligence Mostowski Collapse <bursejan@gmail.com> - 2023-02-18 08:24 -0800
          Re: The road to Artificial Intelligence Mostowski Collapse <bursejan@gmail.com> - 2023-02-20 08:47 -0800
            Re: The road to Artificial Intelligence Mostowski Collapse <bursejan@gmail.com> - 2023-02-20 08:50 -0800
              Re: The road to Artificial Intelligence Mostowski Collapse <bursejan@gmail.com> - 2023-02-20 11:12 -0800
  Was it worth the wait? [gemini by Google] Mild Shock <janburse@fastmail.fm> - 2024-02-22 16:49 +0100
    Pulverizer against Delhi Belly? (Was: Was it worth the wait? [gemini by Google]) Mild Shock <janburse@fastmail.fm> - 2024-02-22 19:11 +0100
  Re: The road to Artificial Intelligence Mild Shock <janburse@fastmail.fm> - 2024-02-27 17:03 +0100
    Re: The road to Artificial Intelligence Mild Shock <janburse@fastmail.fm> - 2024-03-16 14:06 +0100
      Re: The road to Artificial Intelligence Mild Shock <janburse@fastmail.fm> - 2024-03-16 14:13 +0100
        Re: The road to Artificial Intelligence Mild Shock <janburse@fastmail.fm> - 2024-03-24 01:32 +0100
          Re: The road to Artificial Intelligence Mild Shock <janburse@fastmail.fm> - 2024-03-24 18:26 +0100
            Re: The road to Artificial Intelligence Mikko <mikko.levanto@iki.fi> - 2024-03-25 09:59 +0200

csiph-web