tech / sci.logic

Pages:1 23

Subject	Replies	Last Message
Termination Analyzer H is Not Fooled by Pathological Input D By: olcott on Fri, 23 Jun 2023	62	10 Months 11 Days ago By: Richard Damon
Yet another set-theoretic variation of the Drinkers' Paradox By: Dan Christensen on Mon, 22 May 2023	34	10 Months 11 Days ago By: Mild Shock
Re: Formal proofs about functions using DC Proof By: Mild Shock on Fri, 23 Jun 2023	4	10 Months 15 Days ago By: Mild Shock
ChatGPT agrees that the halting problem input can be construed as an incorrect q By: olcott on Sat, 17 Jun 2023	112	10 Months 16 Days ago By: olcott
Refutation of the Ben Bacarisse Rebuttal and [Liar Paradox] By: olcott on Thu, 22 Jun 2023	2	10 Months 16 Days ago By: Richard Damon
Refutation of the Ben Bacarisse Rebuttal By: olcott on Mon, 19 Jun 2023	39	10 Months 16 Days ago By: Richard Damon
Re: Quantifier deceit exposed By: Jeffrey Rubard on Thu, 22 Jun 2023	0	10 Months 16 Days ago By: Jeffrey Rubard
Re: Why predictions about the future have no truth value By: Julio Di Egidio on Thu, 22 Jun 2023	0	10 Months 17 Days ago By: Julio Di Egidio
What's formal, axiomatic mathematics without the word "infinity"? By: Khong Dong on Mon, 19 Jun 2023	18	10 Months 17 Days ago By: Julio Di Egidio
Re: Proof assistant. How does yours compare? By: Mild Shock on Wed, 21 Jun 2023	5	10 Months 18 Days ago By: Mild Shock
Hello, my name is toodles and I'm an alcoholic on halluciniagenic pastrami. By: Hunter Barnes on Wed, 21 Jun 2023	0	10 Months 18 Days ago By: Hunter Barnes
Re: Proof assistant. How does yours compare? By: Julio Di Egidio on Wed, 21 Jun 2023	0	10 Months 18 Days ago By: Julio Di Egidio
Re: DC Proofs waterloo is Russells definite descriptions By: Mild Shock on Wed, 21 Jun 2023	0	10 Months 18 Days ago By: Mild Shock
Ben Bacarisse specifically targets my posts to discourage honest dialogue ... By: olcott on Tue, 20 Jun 2023	0	10 Months 19 Days ago By: olcott
Ben Bacarisse specifically targets my posts to discourage honest dialogue By: olcott on Tue, 20 Jun 2023	0	10 Months 19 Days ago By: olcott
Ben Bacarisse specifically targets my posts to discourage honest dialogue By: olcott on Tue, 20 Jun 2023	0	10 Months 19 Days ago By: olcott
Ben Bacarisse specifically targets my posts to discourage honest dialogue By: olcott on Tue, 20 Jun 2023	0	10 Months 19 Days ago By: olcott
Ben Bacarisse specifically targets my posts to discourage honest dialogue By: olcott on Mon, 19 Jun 2023	4	10 Months 19 Days ago By: olcott
Sublinear Pattern Recognition on all alphabets including binary By: Daniel Pehoushek on Mon, 19 Jun 2023	3	10 Months 19 Days ago By: Ben Bacarisse
Automated Mathematics: Guess What This Program Is Doing By: Charlie-Boo on Fri, 16 Jun 2023	4	10 Months 21 Days ago By: Charlie-Boo
Re: Einstein's Idiocies and the Overton Window By: Pentcho Valev on Sat, 17 Jun 2023	0	10 Months 22 Days ago By: Pentcho Valev
Termination Analyzer H prevents Denial of Service attacks By: olcott on Thu, 15 Jun 2023	15	10 Months 22 Days ago By: Richard Damon
Why statements about the future have no truth-values By: Dan Christensen on Fri, 16 Jun 2023	0	10 Months 23 Days ago By: Dan Christensen
Termination Analyzer H correctly prevents Denial of Service attacks By: olcott on Tue, 13 Jun 2023	24	10 Months 23 Days ago By: Richard Damon
alt.soc.religion.hippy By: Hunter Barnes on Wed, 14 Jun 2023	0	10 Months 24 Days ago By: Hunter Barnes
Termination Analyzer H correctly determines that its "impossible" input never ha By: olcott on Sat, 10 Jun 2023	44	10 Months 25 Days ago By: Ross Finlayson
Termination Analyzer H correctly prevents Denial of Service attacks By: olcott on Tue, 13 Jun 2023	2	10 Months 25 Days ago By: tTh
Expressability in the notation of set theory -- Follow-up By: Dan Christensen on Mon, 12 Jun 2023	16	10 Months 26 Days ago By: Dan Christensen
Can D simulated by H terminate normally? By: olcott on Mon, 12 Jun 2023	11	10 Months 26 Days ago By: Richard Damon
Re: 2+2=5 dans la science française By: Pentcho Valev on Wed, 7 Jun 2023	1	11 Months 1 Day ago By: Pentcho Valev
The standard input to all modern termination analyzers LLVM.IR By: olcott on Thu, 8 Jun 2023	1	11 Months 1 Day ago By: Richard Damon
Re: DC Proofs waterloo is Russells definite descriptions By: Mild Shock on Thu, 8 Jun 2023	2	11 Months 1 Day ago By: Mild Shock
The state of the art best term rewrite termination analyzers are of similar powe By: olcott on Tue, 6 Jun 2023	15	11 Months 1 Day ago By: Richard Damon
$100 Reward for a ZFC Proof of Any Common Mathematics Theorem - Gig at Freelance By: Charlie-Boo on Tue, 6 Jun 2023	6	11 Months 1 Day ago By: Mild Shock
Re: Smullyan's Proof of the Drinkers Principle V3 By: Dan Christensen on Mon, 29 May 2023	23	11 Months 1 Day ago By: Mild Shock
Facts don't change, no matter what. By: Peeler on Wed, 7 Jun 2023	1	11 Months 2 Days ago By: Duncan Patton a Camp
Dr.HRB 2023 By: Hunter Barnes on Tue, 6 Jun 2023	0	11 Months 3 Days ago By: Hunter Barnes
Re: "Without loss of generality" may not be formalizable By: Mild Shock on Sun, 4 Jun 2023	2	11 Months 4 Days ago By: Mild Shock
Differences : I'm reality, actuality equals truth, and all of you live in a self By: Hunter Barnes on Sun, 4 Jun 2023	0	11 Months 4 Days ago By: Hunter Barnes
Mass, and matter, slightly prexist gravity. ..and the center of anything with en By: Hunter Barnes on Sun, 4 Jun 2023	0	11 Months 4 Days ago By: Hunter Barnes
Erroneous conclusions from applying material conditionals? By: Dan Christensen on Sat, 27 May 2023	101	11 Months 5 Days ago By: Mild Shock
Re: Another "responsible" gun owner By: merv on Wed, 31 May 2023	6	11 Months 7 Days ago By: Klaus Schadenfreude
"Is there a sound formal definition for an AGI (Actuated General Introspection) By: Khong Dong on Mon, 29 May 2023	5	11 Months 8 Days ago By: Khong Dong
Re: common sense is monotone but wisdom is both monotone and conjunctive By: Daniel Pehoushek on Wed, 24 May 2023	1	11 Months 9 Days ago By: Daniel Pehoushek
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mild Shock on Mon, 29 May 2023	0	11 Months 9 Days ago By: Mild Shock
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mild Shock on Mon, 29 May 2023	0	11 Months 9 Days ago By: Mild Shock
TEST BANK for Concepts of Genetics, 12th edition. William S. Klug, Michael R. Cu By: Edwin on Mon, 29 May 2023	0	11 Months 9 Days ago By: Edwin
Re: Smullyan's Proof of the Drinkers Principle V3 By: Dan Christensen on Mon, 29 May 2023	0	11 Months 9 Days ago By: Dan Christensen
TEST BANK for Genetics: A Conceptual Approach Seventh Edition Benjamin A. Pierce By: Edwin on Mon, 29 May 2023	0	11 Months 10 Days ago By: Edwin
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mild Shock on Mon, 29 May 2023	0	11 Months 10 Days ago By: Mild Shock
TEST BANK for Human Biology 14th Edition by Sylvia S Mader & Michael W. All 47 By: Edwin on Mon, 29 May 2023	0	11 Months 10 Days ago By: Edwin
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mild Shock on Mon, 29 May 2023	0	11 Months 10 Days ago By: Mild Shock
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mild Shock on Mon, 29 May 2023	0	11 Months 10 Days ago By: Mild Shock
Re: Is DC Proof a bee logic or a spider logic? By: Mild Shock on Mon, 29 May 2023	1	11 Months 10 Days ago By: Mild Shock
Re: The Psychology of Self-Reference By: _ Olcott on Sun, 28 May 2023	3	11 Months 10 Days ago By: olcott
Re: Can D simulated by H terminate normally? [key agreement] By: olcott on Sun, 21 May 2023	90	11 Months 10 Days ago By: Richard Damon
Defeating the Tarksi Undefinability Theorem is easy By: olcott on Sun, 28 May 2023	0	11 Months 11 Days ago By: olcott
Re: The Only Building Block of Spacetime By: Pentcho Valev on Sun, 28 May 2023	0	11 Months 11 Days ago By: Pentcho Valev
Re: Smullyan's Proof of the Drinkers Principle V3 By: Dan Christensen on Mon, 22 May 2023	2	11 Months 12 Days ago By: Mostowski Collapse
TEST BANK for Introduction to Information Systems, 5th Canadian Edition by R. Ke By: Edwin on Thu, 25 May 2023	0	11 Months 13 Days ago By: Edwin
TEST BANK for Computer Methods in Chemical Engineering 2nd Edition By Nayef Ghas By: Edwin on Thu, 25 May 2023	0	11 Months 13 Days ago By: Edwin
TEST BANK for Macroeconomics in Modules, 3rd Edition by Paul Krugman, Robin Well By: Edwin on Thu, 25 May 2023	0	11 Months 13 Days ago By: Edwin
TEST BANK for Leadership in Nursing Practice Changing the Landscape of Health Ca By: Edwin on Thu, 25 May 2023	0	11 Months 13 Days ago By: Edwin
TEST BANK for International Financial Management 9th Edition by Cheol By: Edwin on Thu, 25 May 2023	0	11 Months 13 Days ago By: Edwin
TEST BANK for An Introduction to Statistical Concepts 4th Edition by Debbie L. H By: Edwin on Thu, 25 May 2023	0	11 Months 13 Days ago By: Edwin
TEST BANK for Digital Transformation in Accounting By Richard Busulwa and Nina E By: Edwin on Thu, 25 May 2023	0	11 Months 14 Days ago By: Edwin
Re: Gödel's proof relies on self-contradictory expressions of language By: Mostowski Collapse on Sun, 21 May 2023	24	11 Months 14 Days ago By: olcott
TEST BANK > Principles of Anatomy and Physiology, 12th Edition 12th Edition by G By: Edwin on Thu, 25 May 2023	0	11 Months 14 Days ago By: Edwin
TEST BANK for Introduction to Electrochemical Science and Engineering 2nd Editio By: Edwin on Thu, 25 May 2023	0	11 Months 14 Days ago By: Edwin
Analysing Sentences: An Introduction to English Syntax By Noel Burton-Roberts. I By: Edwin on Thu, 25 May 2023	0	11 Months 14 Days ago By: Edwin
SOLUTIONS MANUAL for Intermediate Accounting, 18th Edition, by Kieso D, Weygandt By: Edwin on Thu, 25 May 2023	0	11 Months 14 Days ago By: Edwin
TEST BANK for Introduction to Critical Care Nursing 7th Edition by Sole, Kelein, By: Edwin on Thu, 25 May 2023	0	11 Months 14 Days ago By: Edwin
TEST BANK for Medical Emergencies: Essentials for the Dental Professional, 2nd E By: Edwin on Thu, 25 May 2023	0	11 Months 14 Days ago By: Edwin
Re: Is DC Proof a bee logic or a spider logic? By: Dan Christensen on Sun, 21 May 2023	21	11 Months 14 Days ago By: Mostowski Collapse
Re: Some results about unit fractions By: WM on Wed, 24 May 2023	0	11 Months 15 Days ago By: WM
** BEGINING OF THEORM PROVR ** By: Graham Cooper on Wed, 24 May 2023	0	11 Months 15 Days ago By: Graham Cooper
How many rice bowls would I have to sell to launch all the russians into outer s By: Hunter Barnes on Wed, 24 May 2023	0	11 Months 15 Days ago By: Hunter Barnes
Re: Teaching Variable Speed of Light Implicitly By: Pentcho Valev on Tue, 23 May 2023	0	11 Months 15 Days ago By: Pentcho Valev
Re: Some results about unit fractions By: Fritz Feldhase on Tue, 23 May 2023	0	11 Months 15 Days ago By: Fritz Feldhase
Re: Some results about unit fractions By: Fritz Feldhase on Mon, 22 May 2023	0	11 Months 16 Days ago By: Fritz Feldhase
Re: Some results about unit fractions By: WM on Mon, 22 May 2023	0	11 Months 16 Days ago By: WM
Re: Some results about unit fractions By: Fritz Feldhase on Mon, 22 May 2023	0	11 Months 16 Days ago By: Fritz Feldhase
Re: Some results about unit fractions By: WM on Mon, 22 May 2023	0	11 Months 16 Days ago By: WM
Re: Some results about unit fractions By: Fritz Feldhase on Mon, 22 May 2023	0	11 Months 16 Days ago By: Fritz Feldhase
Re: Some results about unit fractions By: WM on Mon, 22 May 2023	0	11 Months 16 Days ago By: WM
Re: Some results about unit fractions By: Fritz Feldhase on Mon, 22 May 2023	0	11 Months 17 Days ago By: Fritz Feldhase
Re: Some results about unit fractions By: WM on Mon, 22 May 2023	0	11 Months 17 Days ago By: WM
DC Proof sets are inconsistent and Dan Christensen is a spamming liar By: Julio Di Egidio on Sun, 21 May 2023	8	11 Months 17 Days ago By: Mostowski Collapse
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mostowski Collapse on Sun, 21 May 2023	0	11 Months 17 Days ago By: Mostowski Collapse
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mostowski Collapse on Sun, 21 May 2023	0	11 Months 17 Days ago By: Mostowski Collapse
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mostowski Collapse on Sun, 21 May 2023	0	11 Months 17 Days ago By: Mostowski Collapse
Re: Gödel's proof relies on self-contradictory expressions of language[100%] By: Richard Damon on Sun, 21 May 2023	17	11 Months 17 Days ago By: Richard Damon
Re: Smullyan's Proof of the Drinkers Principle V3 By: Dan Christensen on Sun, 21 May 2023	0	11 Months 17 Days ago By: Dan Christensen
Re: Smullyan's Proof of the Drinkers Principle V3 By: Dan Christensen on Sun, 21 May 2023	0	11 Months 17 Days ago By: Dan Christensen
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mostowski Collapse on Sun, 21 May 2023	0	11 Months 17 Days ago By: Mostowski Collapse
Re: Smullyan's Proof of the Drinkers Principle V3 By: Dan Christensen on Sun, 21 May 2023	0	11 Months 17 Days ago By: Dan Christensen
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mostowski Collapse on Sun, 21 May 2023	0	11 Months 17 Days ago By: Mostowski Collapse
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mostowski Collapse on Sun, 21 May 2023	0	11 Months 17 Days ago By: Mostowski Collapse
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mostowski Collapse on Sun, 21 May 2023	0	11 Months 17 Days ago By: Mostowski Collapse
Re: Smullyan's Proof of the Drinkers Principle V3 By: Dan Christensen on Sun, 21 May 2023	0	11 Months 18 Days ago By: Dan Christensen
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mostowski Collapse on Sun, 21 May 2023	0	11 Months 18 Days ago By: Mostowski Collapse
Re: Smullyan's Proof of the Drinkers Principle V3 By: Mostowski Collapse on Sun, 21 May 2023	0	11 Months 18 Days ago By: Mostowski Collapse
Re: Some results about unit fractions By: Fritz Feldhase on Sun, 21 May 2023	0	11 Months 18 Days ago By: Fritz Feldhase
Re: Some results about unit fractions By: Fritz Feldhase on Sun, 21 May 2023	0	11 Months 18 Days ago By: Fritz Feldhase
Re: Is DC Proof a bee logic or a spider logic? By: Julio Di Egidio on Sun, 21 May 2023	0	11 Months 18 Days ago By: Julio Di Egidio
Re: Some results about unit fractions By: Gus Gassmann on Sun, 21 May 2023	0	11 Months 18 Days ago By: Gus Gassmann
Re: Gödel's proof relies on self-contradictory expressions of language[100%] By: olcott on Sun, 21 May 2023	0	11 Months 18 Days ago By: olcott
Simulating (partial) Halt Deciders Defeat the Halting Problem Proofs By: olcott on Tue, 18 Apr 2023	103	1 Year ago By: Richard Damon
Re: A proof of G in F By: olcott on Sun, 26 Mar 2023	71	1 Year ago By: Richard Damon
There exists a G in F that proves its own unprovability in F By: olcott on Tue, 25 Apr 2023	3	1 Year ago By: olcott
Halting Problem solved! By: Mr Flibble on Sat, 22 Apr 2023	16	1 Year ago By: olcott
There exists a G such that G is logically equivalent to its own unprovability in By: olcott on Sat, 22 Apr 2023	41	1 Year ago By: Richard Damon
a Proof of G in F is contradictory By: olcott on Thu, 20 Apr 2023	5	1 Year ago By: Richard Damon
I am out of here By: Julio Di Egidio on Tue, 18 Apr 2023	0	1 Year ago By: Julio Di Egidio
Why is Gödel's G unprovable in F ??? By: olcott on Sat, 15 Apr 2023	0	1 Year ago By: olcott
How could an expression of formal language be able to prove its own unprovabilit By: olcott on Sat, 15 Apr 2023	0	1 Year ago By: olcott
Simulating (partial) Halt Deciders Defeat the Halting Problem Proofs By: olcott on Wed, 12 Apr 2023	0	1 Year ago By: olcott
Transgender Pastor Compares Trans Nashville Church Shooter To Jesus Christ By: rj..@shell02.TheWorl on Thu, 6 Apr 2023	1	1 Year 1 Month ago By: bitrex
If they had studied their science... By: rj..@shell02.TheWorl on Mon, 3 Apr 2023	0	1 Year 1 Month ago By: rj..@shell02.TheWorl
Introducing the foundation of correct reasoning By: olcott on Sat, 1 Apr 2023	3	1 Year 1 Month ago By: Richard Damon
Re: A proof of G in F is impossible By: olcott on Sat, 1 Apr 2023	19	1 Year 1 Month ago By: Richard Damon
Re: A proof of G in F By: olcott on Sat, 25 Mar 2023	22	1 Year 1 Month ago By: Jim Burns
A proof of G in F cannot exist in F By: olcott on Sun, 26 Mar 2023	1	1 Year 1 Month ago By: Richard Damon
Re: Introducing the foundation of correct reasoning By: olcott on Wed, 22 Mar 2023	1	1 Year 1 Month ago By: Richard Damon
Re: The essence of my rebuttal of the Halting Theorem By: Richard Damon on Wed, 22 Mar 2023	0	1 Year 1 Month ago By: Richard Damon
Re: Introducing the foundation of correct reasoning By: Richard Damon on Wed, 22 Mar 2023	0	1 Year 1 Month ago By: Richard Damon
Deranged PAEDO PRIESTS! Church Called 'Sinful' in Sexual Abuse Case (301) By: Andrew 'Andrzej on Wed, 22 Mar 2023	0	1 Year 1 Month ago By: Andrew 'Andrzej

Pages:1 23

There are currently 135 users online
Total messages: 2,320,817

server_pubkey.txt

rocksolid light 0.9.81
clearnet tor

Your computer account is overdrawn. Please reauthorize.

tech / sci.logic

There are currently 135 users online Total messages: 2,320,817

There are currently 135 users online
Total messages: 2,320,817