Newest at the top
| 2025-04-22 02:00:47 +0200 | <EvanR> | would it be like something with scientific notation, or something that defies notation because it's so big |
| 2025-04-22 02:00:27 +0200 | <EvanR> | "knowing" what this 27-beaver number is is funny |
| 2025-04-22 02:00:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-22 02:00:05 +0200 | <EvanR> | also |
| 2025-04-22 01:59:10 +0200 | <EvanR> | with this clarification of what's what, I think the answer to my question is "no" |
| 2025-04-22 01:58:53 +0200 | <TMA> | that's for engineers |
| 2025-04-22 01:58:43 +0200 | <TMA> | mathematics does not concern itself with praxis though :) |
| 2025-04-22 01:57:55 +0200 | <TMA> | in praxis the difference tends to be immense |
| 2025-04-22 01:57:37 +0200 | <TMA> | in theory there is no difference between theory and praxis |
| 2025-04-22 01:57:25 +0200 | <EvanR> | yeah "you know it in theory" is funny |
| 2025-04-22 01:57:06 +0200 | <geekosaur> | but if it runs for 10^60 years, do you really know the answer from its running time? |
| 2025-04-22 01:56:42 +0200 | <TMA> | a k-state TM that halts halts in at most BB(k) steps |
| 2025-04-22 01:56:42 +0200 | <geekosaur> | I know I got the terminology wrong there |
| 2025-04-22 01:56:31 +0200 | <EvanR> | fininte but possibly unbounded? |
| 2025-04-22 01:55:53 +0200 | <geekosaur> | what's the difference between "halts" and "halts in a finite but possibly unbounded amount of time" |
| 2025-04-22 01:55:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-22 01:54:38 +0200 | <TMA> | so, you do not know it immediately, but you know it in theory, because only finite many steps are missing |
| 2025-04-22 01:54:00 +0200 | Guest49 | (~Guest49@astrolabe.plus.com) (Quit: Client closed) |
| 2025-04-22 01:53:42 +0200 | <TMA> | you can decide by running it for the 27-beaver steps |
| 2025-04-22 01:52:11 +0200 | <EvanR> | does this mean if you know the running time of the 27-state busy beaver that you know the answer to goldbach's conjecture |
| 2025-04-22 01:51:06 +0200 | foul_owl | (~kerry@94.156.149.91) (Ping timeout: 276 seconds) |
| 2025-04-22 01:46:23 +0200 | <EvanR> | There is a 27-state turing machine which halts if and only if goldbach's conjecture is true |
| 2025-04-22 01:45:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-22 01:42:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-22 01:39:34 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-22 01:37:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-22 01:34:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-04-22 01:28:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-22 01:25:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-22 01:21:58 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:887e:630e:324f:f9fb) (Quit: Leaving) |
| 2025-04-22 01:18:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-22 01:18:13 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-04-22 01:15:44 +0200 | euleritian | (~euleritia@dynamic-176-000-001-244.176.0.pool.telefonica.de) |
| 2025-04-22 01:15:31 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-22 01:11:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-22 01:06:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-22 01:04:01 +0200 | sprotte24 | (~sprotte24@p200300d16f24580070b20176ff3a786c.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-22 00:58:14 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds) |
| 2025-04-22 00:57:01 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-22 00:56:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-22 00:53:49 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-22 00:52:20 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-22 00:51:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-22 00:47:43 +0200 | jespada | (~jespada@r190-135-225-29.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-22 00:43:01 +0200 | jespada | (~jespada@r179-25-155-68.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-04-22 00:41:13 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:887e:630e:324f:f9fb) |
| 2025-04-22 00:40:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-22 00:38:18 +0200 | madjestic | (~madjestic@37.109.147.147) (Ping timeout: 276 seconds) |
| 2025-04-22 00:38:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-22 00:34:16 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |