Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
sci.logic
Conversations
About
sci.logic
1–30 of 38936
Mark all as read
Report abusive group
0 selected
Dan Christensen
, …
Mostowski Collapse
156
6:21 AM
Two ways for formally define a predicate
Looks like you apply your own sanity requirements for conditional definitions only in ad hoc fashion.
unread,
Two ways for formally define a predicate
Looks like you apply your own sanity requirements for conditional definitions only in ad hoc fashion.
6:21 AM
Julio Di Egidio
, …
Ross A. Finlayson
43
12:57 AM
Musatov's infinity
On Sunday, May 1, 2022 at 9:50:22 AM UTC-7, Ross A. Finlayson wrote: > On Saturday, April 30, 2022
unread,
Musatov's infinity
On Sunday, May 1, 2022 at 9:50:22 AM UTC-7, Ross A. Finlayson wrote: > On Saturday, April 30, 2022
12:57 AM
Khong Dong
,
Rupert
5
May 15
"Why did Gödel fail to come up with a valid sense/context for the notion of absolute undecidability, and fail to suspect whether or not there are finitely many Mersenne primes might be an absolutely unsolvable problem?"
On Friday, 13 May 2022 at 11:54:43 UTC-6, Rupert wrote: > On Friday, May 13, 2022 at 6:24:53 AM
unread,
"Why did Gödel fail to come up with a valid sense/context for the notion of absolute undecidability, and fail to suspect whether or not there are finitely many Mersenne primes might be an absolutely unsolvable problem?"
On Friday, 13 May 2022 at 11:54:43 UTC-6, Rupert wrote: > On Friday, May 13, 2022 at 6:24:53 AM
May 15
olcott
, …
André G. Isaak
30
May 15
Re: Category error
On 2022-05-14 22:38, olcott wrote: > On 5/14/2022 11:31 PM, André G. Isaak wrote: >> On 2022
unread,
Re: Category error
On 2022-05-14 22:38, olcott wrote: > On 5/14/2022 11:31 PM, André G. Isaak wrote: >> On 2022
May 15
Dan Christensen
, …
Mostowski Collapse
31
May 15
Oh, the ambiguity! 0^0 = ??? (Final draft)
Whats the use case of your nonsense keeping Even open? You proved: ALL(a):[aen => [Even(a) =>
unread,
Oh, the ambiguity! 0^0 = ??? (Final draft)
Whats the use case of your nonsense keeping Even open? You proved: ALL(a):[aen => [Even(a) =>
May 15
olcott
, …
Richard Damon
61
May 15
Correcting logic to make it a system of correct reasoning
On 5/15/22 12:07 AM, olcott wrote: > On 5/14/2022 6:52 PM, Richard Damon wrote: >> On 5/14/
unread,
Correcting logic to make it a system of correct reasoning
On 5/15/22 12:07 AM, olcott wrote: > On 5/14/2022 6:52 PM, Richard Damon wrote: >> On 5/14/
May 15
Dan Christensen
, …
Mostowski Collapse
100
May 13
Formal proofs about functions using DC Proof
But I am not that optimistic, since: This theorem was included in a web listing of the "top 100
unread,
Formal proofs about functions using DC Proof
But I am not that optimistic, since: This theorem was included in a web listing of the "top 100
May 13
olcott
,
Mr Flibble
4
May 13
Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2)
On Fri, 13 May 2022 15:38:23 -0500 olcott <NoOne@NoWhere.com> wrote: > H sees that P is
unread,
Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ](V2)
On Fri, 13 May 2022 15:38:23 -0500 olcott <NoOne@NoWhere.com> wrote: > H sees that P is
May 13
Antonio Speltzu
, …
Julio Di Egidio
3
May 13
Duality between representation and expression.
On Friday, 13 May 2022 at 19:31:07 UTC+2, Ross A. Finlayson wrote: > On Thursday, May 12, 2022 at
unread,
Duality between representation and expression.
On Friday, 13 May 2022 at 19:31:07 UTC+2, Ross A. Finlayson wrote: > On Thursday, May 12, 2022 at
May 13
Mostowski Collapse
, …
Dan Christensen
176
May 11
DC Proof is the biggest teaching mistake
This sentence is even immune if we would consider russian transsexuals as neither male or female, its
unread,
DC Proof is the biggest teaching mistake
This sentence is even immune if we would consider russian transsexuals as neither male or female, its
May 11
olcott
,
Richard Damon
3
May 11
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ]
On 5/11/2022 2:54 PM, Ben wrote: > olcott <NoOne@NoWhere.com> writes: > >> On 5/10/
unread,
Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ]
On 5/11/2022 2:54 PM, Ben wrote: > olcott <NoOne@NoWhere.com> writes: > >> On 5/10/
May 11
Paola Cattabriga
, …
Mostowski Collapse
24
May 11
about a C. G. Morgan review of Chang - Lee book
Il giorno lunedì 9 maggio 2022 alle 11:37:57 UTC+2 Mostowski Collapse ha scritto: > > More
unread,
about a C. G. Morgan review of Chang - Lee book
Il giorno lunedì 9 maggio 2022 alle 11:37:57 UTC+2 Mostowski Collapse ha scritto: > > More
May 11
Mostowski Collapse
, …
Dan Christensen
112
May 11
DC Proofs waterloo is Russells definite descriptions
You can easily prove in the present example that a set exists and that it is the same as the
unread,
DC Proofs waterloo is Russells definite descriptions
You can easily prove in the present example that a set exists and that it is the same as the
May 11
Darwin Tan
May 10
price
#Test bank for Using Sage 50 Accounting 2018, 1st Edition by Mary Purbhoo
unread,
price
#Test bank for Using Sage 50 Accounting 2018, 1st Edition by Mary Purbhoo
May 10
FredJeffries
, …
Mostowski Collapse
78
May 10
Proposal for a proof assistants StackExchange site
Maybe Dan Christensen will go into the anals of mathematics, as the first crank, that ate to much Bat
unread,
Proposal for a proof assistants StackExchange site
Maybe Dan Christensen will go into the anals of mathematics, as the first crank, that ate to much Bat
May 10
olcott
May 10
Re: On Strachey [ How nuts is that? ][ proof that I am correct ]
On 5/9/2022 6:42 PM, wij wrote: > On Tuesday, 10 May 2022 at 07:31:07 UTC+8, olcott wrote: >
unread,
Re: On Strachey [ How nuts is that? ][ proof that I am correct ]
On 5/9/2022 6:42 PM, wij wrote: > On Tuesday, 10 May 2022 at 07:31:07 UTC+8, olcott wrote: >
May 10
olcott
2
May 9
H(P,P)==false is proven to be correct
On 5/9/2022 5:49 PM, Dennis Bush wrote: > On Monday, May 9, 2022 at 6:02:56 PM UTC-4, olcott wrote
unread,
H(P,P)==false is proven to be correct
On 5/9/2022 5:49 PM, Dennis Bush wrote: > On Monday, May 9, 2022 at 6:02:56 PM UTC-4, olcott wrote
May 9
olcott
May 8
Re: Next move [ truth itself is broken ]
On 5/8/2022 9:28 PM, Python wrote: > Peter Olcott wrote: >> On 5/8/2022 6:03 PM, Mr Flibble
unread,
Re: Next move [ truth itself is broken ]
On 5/8/2022 9:28 PM, Python wrote: > Peter Olcott wrote: >> On 5/8/2022 6:03 PM, Mr Flibble
May 8
Dan Christensen
, …
Ross A. Finlayson
163
May 8
Function Spaces of Empty Functions
On Sunday, May 8, 2022 at 3:38:13 PM UTC-7, Jeff Barnett wrote: > On 5/8/2022 1:11 PM, Dan
unread,
Function Spaces of Empty Functions
On Sunday, May 8, 2022 at 3:38:13 PM UTC-7, Jeff Barnett wrote: > On 5/8/2022 1:11 PM, Dan
May 8
Mostowski Collapse
, …
Mostowski Collapse
353
May 8
Zorn's Lemma, how formalize it in DC Proof
Here we are, light years away from Zorns Lemma, discussing what is the best way to make a definition
unread,
Zorn's Lemma, how formalize it in DC Proof
Here we are, light years away from Zorns Lemma, discussing what is the best way to make a definition
May 8
olcott
2
May 7
Re: On Strachey [ How nuts is that? ]
On 5/7/2022 6:35 PM, Dennis Bush wrote: > On Saturday, May 7, 2022 at 7:14:57 PM UTC-4, olcott
unread,
Re: On Strachey [ How nuts is that? ]
On 5/7/2022 6:35 PM, Dennis Bush wrote: > On Saturday, May 7, 2022 at 7:14:57 PM UTC-4, olcott
May 7
olcott
4
May 7
All my reviewers expect a halt decider to have psychic power
On 4/23/2022 12:29 PM, wij wrote: > On Sunday, 24 April 2022 at 01:20:23 UTC+8, olcott wrote: >
unread,
All my reviewers expect a halt decider to have psychic power
On 4/23/2022 12:29 PM, wij wrote: > On Sunday, 24 April 2022 at 01:20:23 UTC+8, olcott wrote: >
May 7
Mostowski Collapse
, …
Dan Christensen
27
May 7
DC poop breakthrough: dark booleans spotted on conic sections
After Dan Christensen has claimed that: subst( s, succZ, ALL(a):[aen => ~s(a)=0] ) =\= ALL(a):[aen
unread,
DC poop breakthrough: dark booleans spotted on conic sections
After Dan Christensen has claimed that: subst( s, succZ, ALL(a):[aen => ~s(a)=0] ) =\= ALL(a):[aen
May 7
Mostowski Collapse
, …
Mostowski Collapse
40
May 7
Happy Birthday - 50 Years Prolog
What I dont know whether HoTT gives some new ways of inductive definitions. From this funny talk:
unread,
Happy Birthday - 50 Years Prolog
What I dont know whether HoTT gives some new ways of inductive definitions. From this funny talk:
May 7
olcott
2
May 6
Validating that the implementation meets the spec for TM transition function
On 5/6/2022 4:29 PM, Mr Flibble wrote: > On Fri, 6 May 2022 16:25:58 -0500 > olcott <
unread,
Validating that the implementation meets the spec for TM transition function
On 5/6/2022 4:29 PM, Mr Flibble wrote: > On Fri, 6 May 2022 16:25:58 -0500 > olcott <
May 6
Antonio Speltzu
,
Jeff Barnett
4
May 6
How do I know?
El viernes, 6 de mayo de 2022 a las 10:55:14 UTC+2, Antonio Speltzu escribió: > El miércoles, 4 de
unread,
How do I know?
El viernes, 6 de mayo de 2022 a las 10:55:14 UTC+2, Antonio Speltzu escribió: > El miércoles, 4 de
May 6
olcott
20
May 6
Re: H(P,P) == false is correct
On 5/5/2022 9:35 PM, Ben wrote: > olcott <polcott2@gmail.com> writes: > >> On 5/5/
unread,
Re: H(P,P) == false is correct
On 5/5/2022 9:35 PM, Ben wrote: > olcott <polcott2@gmail.com> writes: > >> On 5/5/
May 6
olcott
2
May 5
Re: On recursion and infinite recursion (reprise #3)
On 5/5/2022 8:43 PM, Ben wrote: > olcott <polcott2@gmail.com> writes: > >> On 5/5/
unread,
Re: On recursion and infinite recursion (reprise #3)
On 5/5/2022 8:43 PM, Ben wrote: > olcott <polcott2@gmail.com> writes: > >> On 5/5/
May 5
olcott
6
May 3
Re: On recursion and infinite recursion (reprise)
On 5/3/2022 6:05 PM, Python wrote: > Peter Olcott wrote: >> On 5/3/2022 5:46 PM, Python
unread,
Re: On recursion and infinite recursion (reprise)
On 5/3/2022 6:05 PM, Python wrote: > Peter Olcott wrote: >> On 5/3/2022 5:46 PM, Python
May 3
riyad...@gmail.com
, …
doctor dyon
75
May 3
Free Adult Sex Classifieds: Sex Personals for Casual Encounter
On Thursday, 3 September 2020 at 14:49:21 UTC+5:30, riyad...@gmail.com wrote: > Free Adult Sex
unread,
Free Adult Sex Classifieds: Sex Personals for Casual Encounter
On Thursday, 3 September 2020 at 14:49:21 UTC+5:30, riyad...@gmail.com wrote: > Free Adult Sex
May 3
