Newsgroup:
sci.logic
Add New Display Options
14
replies
Deep Ecology and Artificial Intelligence
started 2024-06-04 16:02:46 UTC
2024-12-01 00:10:04 UTC
Mild Shock
14
replies
Probably not much time left
started 2024-11-28 01:16:35 UTC
2024-11-30 22:02:17 UTC
Ross Finlayson
185
replies
Incompleteness of Cantor's enumeration of the rational numbers
started 2024-11-03 08:38:01 UTC
2024-11-30 13:04:34 UTC
Richard Damon
21
replies
How to prove this theorem with intuitionistic natural deduction?
started 2024-11-18 22:06:55 UTC
2024-11-28 08:04:24 UTC
Mild Shock
8
replies
Good Bye Stack-Overflow
started 2024-11-15 02:33:54 UTC
2024-11-15 16:55:21 UTC
Mild Shock
69
replies
A different perspective on undecidability
started 2024-10-16 14:27:09 UTC
2024-11-14 01:09:27 UTC
Richard Damon
179
replies
Minimal Logics in the 2020's: A Meteoric Rise
started 2024-07-04 22:03:51 UTC
2024-10-26 15:46:10 UTC
Mild Shock
20
replies
A state transition diagram proves ... GOOD PROGRESS
started 2024-10-18 14:10:04 UTC
2024-10-22 07:27:03 UTC
Mikko
2
replies
When responding to my posts please remove cross post to the other group
started 2024-10-19 01:20:38 UTC
2024-10-19 03:20:49 UTC
olcott
3
replies
The Heat Death of Prolog
started 2024-10-17 14:37:06 UTC
2024-10-17 18:42:29 UTC
Mild Shock
6
replies
I'm Satoshi, We are all Satoshi
started 2024-10-08 01:56:46 UTC
2024-10-09 22:00:37 UTC
Mild Shock
3
replies
Ask Marilyn , the female WM?
started 2024-10-01 22:29:52 UTC
2024-10-02 18:21:32 UTC
Mild Shock
7
replies
Enough of losers stuck in rebuttal mode
started 2024-09-22 03:47:03 UTC
2024-09-23 11:52:08 UTC
Mild Shock
17
replies
{linguistic truth} is the foundation of truth in mathematical logic
started 2024-09-05 23:41:55 UTC
2024-09-15 09:07:13 UTC
Mikko
45
replies
I just fixed the loophole of the Gettier cases
started 2024-09-01 03:04:05 UTC
2024-09-15 09:02:56 UTC
Mikko
22
replies
This is how I overturn the Tarski Undefinability theorem
started 2024-08-31 18:48:18 UTC
2024-09-11 07:29:46 UTC
Mikko
19
replies
Moment and Motion: theory overall
started 2024-07-17 19:47:40 UTC
2024-09-10 03:13:53 UTC
Ross Finlayson
704
replies
Replacement of Cardinality
started 2024-07-26 16:31:19 UTC
2024-09-07 08:14:07 UTC
Mild Shock
217
replies
Analytic Expressions of language not linked to their semantic meaning are simply untrue
started 2024-07-29 00:44:41 UTC
2024-09-05 07:47:24 UTC
Mikko
2
replies
Is programming C still a thing?
started 2024-09-02 17:22:08 UTC
2024-09-02 17:49:39 UTC
Mild Shock
4
replies
Truth copyright PL Olcott 1997 and 2024
started 2024-08-30 16:14:33 UTC
2024-08-31 14:39:30 UTC
Richard Damon
22
replies
Corona isn't over 2024
started 2024-07-17 16:19:53 UTC
2024-08-11 21:04:58 UTC
Mild Shock
2
replies
I am allergic to Cantors Dust
started 2024-07-29 16:56:39 UTC
2024-07-30 07:19:27 UTC
Mikko
3
replies
Olcott should write a Book
started 2024-07-26 14:39:29 UTC
2024-07-26 21:50:54 UTC
Mild Shock
49
replies
Analytic Truth-makers
started 2024-07-22 16:42:53 UTC
2024-07-25 23:35:16 UTC
Richard Damon
19
replies
Truth Bearer or Truth Maker
started 2024-07-24 20:34:59 UTC
2024-07-25 10:30:04 UTC
Mild Shock
20
replies
DDD correctly emulated by HHH is correctly rejected as non-halting.
started 2024-07-10 15:03:46 UTC
2024-07-23 00:12:14 UTC
Richard Damon
1
reply
Who here understands that the last paragraph is Necessarily True? --- AKA a Tautology
started 2024-07-13 20:36:53 UTC
2024-07-13 20:57:16 UTC
Richard Damon
1
reply
Who here understands that the last paragraph is Necessarily true?
started 2024-07-13 20:15:56 UTC
2024-07-13 20:30:18 UTC
Richard Damon
28
replies
DDD correctly emulated by HHH is correctly rejected as non-halting V2
started 2024-07-12 14:56:05 UTC
2024-07-13 18:37:07 UTC
Richard Damon
Click to Load More...
Loading...