Groups
Conversations
All groups and messages
Send feedback to Google
Help
Account
Search
Maps
YouTube
Play
News
Gmail
Meet
Chat
Contacts
Drive
Calendar
Translate
Photos
Duo
Chrome
Shopping
Finance
Docs
Sheets
Slides
Books
Blogger
Hangouts
Keep
Jamboard
Earth
Collections
Arts and Culture
Google Ads
Podcasts
Stadia
Travel
Forms
More from Google
Sign in
Groups
sci.logic
Conversations
About
sci.logic
1–30 of 38354
Mark all as read
Report abusive group
0 selected
WM
, …
Serg io
248
5:49 PM
Two alternatives?
On 12/6/2021 8:50 PM, An Own wrote: > On Monday, 6 December 2021 at 05:24:51 UTC-4, WM wrote: >
unread,
Two alternatives?
On 12/6/2021 8:50 PM, An Own wrote: > On Monday, 6 December 2021 at 05:24:51 UTC-4, WM wrote: >
5:49 PM
Dan Christensen
, …
Mostowski Collapse
59
4:47 PM
Equivalent in DC Proof of the ZFC Axiom Schema of Replacement
LoL, the full facepalm: Prologue to the Facepalm https://www.youtube.com/watch?v=wjLgekyOZA0
unread,
Equivalent in DC Proof of the ZFC Axiom Schema of Replacement
LoL, the full facepalm: Prologue to the Facepalm https://www.youtube.com/watch?v=wjLgekyOZA0
4:47 PM
Antonio Speltzu
, …
Khong Dong
49
3:27 PM
The mysterious sentence.
On Tuesday, 7 December 2021 at 13:00:31 UTC-7, Khong Dong wrote: > On Tuesday, 7 December 2021 at
unread,
The mysterious sentence.
On Tuesday, 7 December 2021 at 13:00:31 UTC-7, Khong Dong wrote: > On Tuesday, 7 December 2021 at
3:27 PM
Dan Christensen
, …
Mostowski Collapse
27
2:17 PM
What is the truth value of f(x)=y if x is outside the domain of the function f?
On Tuesday, December 7, 2021 at 12:07:28 PM UTC-5, Mostowski Collapse wrote: > Lets get back to F
unread,
What is the truth value of f(x)=y if x is outside the domain of the function f?
On Tuesday, December 7, 2021 at 12:07:28 PM UTC-5, Mostowski Collapse wrote: > Lets get back to F
2:17 PM
Jim Burns
12:45 AM
Re: Test 1
On 12/6/2021 7:43 PM, Dan Christensen wrote: > Test 1 https://plato.stanford.edu/entries/self-
unread,
Re: Test 1
On 12/6/2021 7:43 PM, Dan Christensen wrote: > Test 1 https://plato.stanford.edu/entries/self-
12:45 AM
Mostowski Collapse
, …
FredJeffries
42
Dec 6
DC Proof is the biggest teaching mistake
On Sunday, December 5, 2021 at 9:51:40 AM UTC-8, Dan Christensen wrote: > On Sunday, December 5,
unread,
DC Proof is the biggest teaching mistake
On Sunday, December 5, 2021 at 9:51:40 AM UTC-8, Dan Christensen wrote: > On Sunday, December 5,
Dec 6
Mostowski Collapse
,
Dan Christensen
9
Dec 6
DC poop breakthrough: dark booleans spotted on conic sections
Check wikipedia, F : P -> Q, requires necessarely F ⊆ P x Q: ALL(a):ALL(b):[F(a,b) => P(a)
unread,
DC poop breakthrough: dark booleans spotted on conic sections
Check wikipedia, F : P -> Q, requires necessarely F ⊆ P x Q: ALL(a):ALL(b):[F(a,b) => P(a)
Dec 6
Mohamed
,
Serg io
2
Dec 5
Need Help with Case Study
On 12/5/2021 4:19 PM, Mohamed wrote: > Need help with case study please going crazy > state
unread,
Need Help with Case Study
On 12/5/2021 4:19 PM, Mohamed wrote: > Need help with case study please going crazy > state
Dec 5
Pentcho Valev
Dec 5
The Biggest Waste of Money in the History of Science
Sabine Hossenfelder: "Today I want to tell you how particle physicists are wasting your money
unread,
The Biggest Waste of Money in the History of Science
Sabine Hossenfelder: "Today I want to tell you how particle physicists are wasting your money
Dec 5
STEFANO ROMA EXLEOFUND LOGGIA DI MONTECARLO
Dec 5
FIGLIO DI TROIACCIA #PIERSILVIOBERLUSCONI (ANCOR PIÚ, FIGLIO DI PEDOFILO MACELLA MAGISTRATI #SILVIOBERLUSCONI) RICICLA QUINTALI DI SOLDI MAFIOSI, COME FATTO DA SUO NONNO, IL BASTARDO CRIMINALE MASSONE #LUIGIBERLUSCONI IN #BANCARASINI! E COME FATTO...
FIGLIO DI TROIACCIA #PIERSILVIOBERLUSCONI (ANCOR PIÚ, FIGLIO DI PEDOFILO MACELLA MAGISTRATI #
unread,
FIGLIO DI TROIACCIA #PIERSILVIOBERLUSCONI (ANCOR PIÚ, FIGLIO DI PEDOFILO MACELLA MAGISTRATI #SILVIOBERLUSCONI) RICICLA QUINTALI DI SOLDI MAFIOSI, COME FATTO DA SUO NONNO, IL BASTARDO CRIMINALE MASSONE #LUIGIBERLUSCONI IN #BANCARASINI! E COME FATTO...
FIGLIO DI TROIACCIA #PIERSILVIOBERLUSCONI (ANCOR PIÚ, FIGLIO DI PEDOFILO MACELLA MAGISTRATI #
Dec 5
FredJeffries
, …
Mostowski Collapse
42
Dec 5
Proposal for a proof assistants StackExchange site
Would be really interesting to see how fast SWISH round trip would be for other logics than only
unread,
Proposal for a proof assistants StackExchange site
Would be really interesting to see how fast SWISH round trip would be for other logics than only
Dec 5
Dan Christensen
, …
Mostowski Collapse
17
Dec 5
Oh, the ambiguity! 0^0 = ??? (Final draft)
Ok here is a corrected proof, now saying for the reciprocal hyperbola, that the reciprocal hyperbola
unread,
Oh, the ambiguity! 0^0 = ??? (Final draft)
Ok here is a corrected proof, now saying for the reciprocal hyperbola, that the reciprocal hyperbola
Dec 5
Marcel Perrot
Dec 4
my essay on Nietzsche's philosophy
Nietzsche Letter The problem of colour for philosophy refers to the ancient Greeks, and namely
unread,
my essay on Nietzsche's philosophy
Nietzsche Letter The problem of colour for philosophy refers to the ancient Greeks, and namely
Dec 4
Marcel Perrot
Dec 4
my essay on Virgil and philosophy,
Virgil Letter We're under the starry heavens, where there is the milky way, and where we stare
unread,
my essay on Virgil and philosophy,
Virgil Letter We're under the starry heavens, where there is the milky way, and where we stare
Dec 4
Mostowski Collapse
, …
Mostowski Collapse
215
Dec 4
Zorn's Lemma, how formalize it in DC Proof
Corr.: /* binary relation */ ALL(a):ALL(b):[F(a,b) => P(a) & Q(b)] Mostowski Collapse schrieb:
unread,
Zorn's Lemma, how formalize it in DC Proof
Corr.: /* binary relation */ ALL(a):ALL(b):[F(a,b) => P(a) & Q(b)] Mostowski Collapse schrieb:
Dec 4
olcott
Dec 4
Concise refutation of halting problem proofs V37 [ Olcott 2021 generic halt deciding principle ]
[Olcott 2021 generic halt deciding principle] Whenever the pure simulation of the input to simulating
unread,
Concise refutation of halting problem proofs V37 [ Olcott 2021 generic halt deciding principle ]
[Olcott 2021 generic halt deciding principle] Whenever the pure simulation of the input to simulating
Dec 4
Pentcho Valev
Dec 4
Einstein's Constant Speed of Light: Obvious Nonsense
"...and he showed that the speed of light within a vacuum is the same no matter the speed at
unread,
Einstein's Constant Speed of Light: Obvious Nonsense
"...and he showed that the speed of light within a vacuum is the same no matter the speed at
Dec 4
Mostowski Collapse
, …
Daniel Pehoushek
31
Dec 4
Basic math is not possible with DC Proof
Just check wikipedia: Any subset of the Cartesian product of two sets X and Y defines a binary
unread,
Basic math is not possible with DC Proof
Just check wikipedia: Any subset of the Cartesian product of two sets X and Y defines a binary
Dec 4
Mostowski Collapse
,
Daniel Pehoushek
3
Dec 3
Binge watching Logic with the Supergroup
WM cares: Kameryn Williams – Potentialism about sets, potentialism about classes https://www.youtube.
unread,
Binge watching Logic with the Supergroup
WM cares: Kameryn Williams – Potentialism about sets, potentialism about classes https://www.youtube.
Dec 3
olcott
,
Daniel Pehoushek
2
Dec 3
It is amazing that everyone is too stupid or dishonest to acknowledge the obvious truth of this
only fags care sigmund cared freud was a fag
unread,
It is amazing that everyone is too stupid or dishonest to acknowledge the obvious truth of this
only fags care sigmund cared freud was a fag
Dec 3
olcott
,
Daniel Pehoushek
2
Dec 3
Concise refutation of halting problem proofs V36 [ Mike Terry is goofy ]
hi pete i hope the cancer is in remission how do you like this new version of how to reason well ?
unread,
Concise refutation of halting problem proofs V36 [ Mike Terry is goofy ]
hi pete i hope the cancer is in remission how do you like this new version of how to reason well ?
Dec 3
Marcel Perrot
Dec 3
Homer philosophy
Letters of Homer Homer Letter This fair wife of your, you must win her, and as you are both half
unread,
Homer philosophy
Letters of Homer Homer Letter This fair wife of your, you must win her, and as you are both half
Dec 3
Marcel Perrot
Dec 3
epicurus philosophy
Epicurus Letter For creation of the earth, here the atoms collided well, and where there was power
unread,
epicurus philosophy
Epicurus Letter For creation of the earth, here the atoms collided well, and where there was power
Dec 3
Marcel Perrot
Dec 3
Democritus philosophy
Democritus Letter You say with Locke, my soul atoms are not innate, but they are something I have
unread,
Democritus philosophy
Democritus Letter You say with Locke, my soul atoms are not innate, but they are something I have
Dec 3
Daniel Pehoushek
Dec 3
improved hawking radiation between essentially black holes of some large number of atoms
avoid negation in short clauses of words the two sides use the same letters monotone reason is linear
unread,
improved hawking radiation between essentially black holes of some large number of atoms
avoid negation in short clauses of words the two sides use the same letters monotone reason is linear
Dec 3
Daniel Pehoushek
4
Dec 3
the euron problem
my big plan for Hubble Two is good system access to bobby4.zip then use viewer to count four trillion
unread,
the euron problem
my big plan for Hubble Two is good system access to bobby4.zip then use viewer to count four trillion
Dec 3
Pentcho Valev
Dec 3
Einstein's Relativity: Refuted before It Was Born
"Moreover, if light consists of particles, as Einstein had suggested in his paper submitted just
unread,
Einstein's Relativity: Refuted before It Was Born
"Moreover, if light consists of particles, as Einstein had suggested in his paper submitted just
Dec 3
Antonio Speltzu
, …
Rupert
48
Dec 3
Godel's mistake.
On Friday, December 3, 2021 at 2:59:01 PM UTC+1, Antonio Speltzu wrote: > El viernes, 3 de
unread,
Godel's mistake.
On Friday, December 3, 2021 at 2:59:01 PM UTC+1, Antonio Speltzu wrote: > El viernes, 3 de
Dec 3
olcott
Dec 3
Concise refutation of halting problem proofs V35
When-so-ever simulating halt decider H(X,Y) determines that the simulated behavior of its input
unread,
Concise refutation of halting problem proofs V35
When-so-ever simulating halt decider H(X,Y) determines that the simulated behavior of its input
Dec 3
Pentcho Valev
Dec 3
Einstein's Relativity: Seeing White as Black
Physicists do see that, as per Newton's theory, frequency and speed of light pulses vary
unread,
Einstein's Relativity: Seeing White as Black
Physicists do see that, as per Newton's theory, frequency and speed of light pulses vary
Dec 3
Search
Clear search
Close search
Google apps
Main menu