Page 2 of 5 • 233 total threads
Discussion Threads in sci.logic
233 threads • Page 2 of 5| Thread Subject | Last Message |
|---|---|
|
Proof Theory this week at TU Wien
By: Kurt Goedel Society on Fri, 01 Apr 1994 20:16 |
32 Years 7 Months ago
0 replies |
|
Proof Theory, Complexity, Metamathematics
By: Kurt Goedel Society on Mon, 21 Mar 1994 20:34 |
32 Years 8 Months ago
0 replies |
|
Prizes offered for Papers--Bertrand Russell Society
By: John R Lenz on Sun, 14 Nov 1993 02:40 |
33 Years ago
0 replies |
|
Howard Blair: Logic Programming and Degrees of Computability (Lecture)
By: Kurt Goedel Society on Fri, 17 Sep 1993 09:28 |
33 Years 2 Months ago
0 replies |
|
Self-reference.
By: Bill Taylor on Thu, 28 Jan 1993 01:11 |
33 Years 9 Months ago
2 replies |
|
Foundations without foundationalism.
By: Bill Taylor on Wed, 27 Jan 1993 04:04 |
33 Years 9 Months ago
1 replies |
|
Proof Theory reference needed
By: Jan Johannsen on Wed, 27 Jan 1993 10:10 |
33 Years 9 Months ago
1 replies |
|
Temporal logic (re)sources: A summary (900+ lines!)
By: omo ADELAKUN T K on Wed, 27 Jan 1993 14:08 |
33 Years 9 Months ago
0 replies |
|
Propositional calc question
By: Henry Choy on Thu, 21 Jan 1993 22:34 |
33 Years 10 Months ago
0 replies |
|
What is the remodelling rule?
By: I am a terminator. on Thu, 21 Jan 1993 17:28 |
33 Years 10 Months ago
0 replies |
|
Multiple Truth Values
By: Jamie Andrews on Fri, 08 Jan 1993 22:39 |
33 Years 10 Months ago
10 replies |
|
First Text
By: Jake Blues on Tue, 12 Jan 1993 19:09 |
33 Years 10 Months ago
0 replies |
|
UPDATE: 3rd Kurt Goedel Colloquium (LaTeX)
By: Richard Zach on Mon, 11 Jan 1993 20:08 |
33 Years 10 Months ago
0 replies |
|
UPDATE: 3rd Kurt Goedel Colloquium
By: Richard Zach on Mon, 11 Jan 1993 20:06 |
33 Years 10 Months ago
0 replies |
|
Doctrines of Maybe: 7 truth values
By: Amos Omondi on Tue, 05 Jan 1993 02:36 |
33 Years 10 Months ago
0 replies |
|
Joining ASL
By: H. Enderton on Mon, 04 Jan 1993 17:16 |
33 Years 10 Months ago
0 replies |
|
Recommendations sought
By: Stan Yi-Huang Liao on Sat, 02 Jan 1993 22:32 |
33 Years 10 Months ago
0 replies |
|
Re: Liar paradox
By: Michael Hand on Fri, 18 Dec 1992 18:40 |
33 Years 11 Months ago
0 replies |
|
Absoluteness.
By: Bill Taylor on Fri, 18 Dec 1992 03:44 |
33 Years 11 Months ago
1 replies |
|
Liar paradox
By: Peter Westlake on Wed, 16 Dec 1992 18:16 |
33 Years 11 Months ago
6 replies |
|
Re: Self-Reference and Paradox (was Re: Human intelligence...)
By: Daryl McCullough on Sat, 12 Dec 1992 20:15 |
33 Years 11 Months ago
0 replies |
|
Re: recursive definitions and paradoxes
By: David Gudeman on Sat, 21 Nov 1992 17:58 |
33 Years 11 Months ago
1 replies |
|
Looking for proof checking/building software for teaching
By: S.J.Thompson on Mon, 23 Nov 1992 20:06 |
33 Years 11 Months ago
1 replies |
|
Re: recursive definitions and paradoxes
By: David Gudeman on Mon, 23 Nov 1992 20:22 |
33 Years 11 Months ago
0 replies |
|
Re: recursive definitions and paradoxes
By: David Gudeman on Fri, 20 Nov 1992 17:30 |
33 Years 11 Months ago
5 replies |
|
Re: recursive definitions and paradoxes
By: David Gudeman on Sun, 22 Nov 1992 21:05 |
33 Years 11 Months ago
1 replies |
|
Recursive Functions
By: Asmawi Mohamad on Sat, 21 Nov 1992 19:20 |
33 Years 11 Months ago
1 replies |
|
Re: recursive definitions and paradoxes
By: David Gudeman on Sat, 21 Nov 1992 01:52 |
33 Years 11 Months ago
1 replies |
|
Why Logic?
By: cotera on Mon, 16 Nov 1992 14:16 |
33 Years 11 Months ago
16 replies |
|
recursive definitions and paradoxes
By: David Gudeman on Thu, 19 Nov 1992 20:16 |
33 Years 12 Months ago
7 replies |
|
Re: recursive definitions and paradoxes
By: David Gudeman on Fri, 20 Nov 1992 17:46 |
33 Years 12 Months ago
0 replies |
|
Mathegenesis
By: Richard Harter on Thu, 19 Nov 1992 06:16 |
33 Years 12 Months ago
0 replies |
|
implication truth table
By: cmitchell on Mon, 16 Nov 1992 21:27 |
33 Years 12 Months ago
5 replies |
|
Paradoxical Slogan
By: Peter Reintjes on Wed, 18 Nov 1992 01:28 |
34 Years ago
0 replies |
|
Programs for simple logic proofs: where are they?
By: Mike Brown on Thu, 12 Nov 1992 05:30 |
34 Years ago
7 replies |
|
Types of type theory
By: Joseph Dzikiewicz on Tue, 10 Nov 1992 23:34 |
34 Years ago
6 replies |
|
letter
By: Ben Fok the "lemming" on Mon, 16 Nov 1992 00:04 |
34 Years ago
0 replies |
|
Logic and Mathematicians
By: Richard Zach on Wed, 11 Nov 1992 20:46 |
34 Years ago
2 replies |
|
Sacks Symposium, May '93
By: H. Enderton on Sun, 15 Nov 1992 18:36 |
34 Years ago
0 replies |
|
Looking for references on IF-THEN-ELSE connectives
By: Joachim Posegga on Fri, 13 Nov 1992 11:25 |
34 Years ago
1 replies |
|
Help finding Lukasiewicz papers?
By: Jim Grundy on Thu, 12 Nov 1992 15:36 |
34 Years ago
1 replies |
|
Re: Russell's Paradox
By: David Gudeman on Thu, 05 Nov 1992 20:22 |
34 Years ago
5 replies |
|
postdoc & hons positions - Generic Program Refinement Tool
By: Susan Dowrie on Fri, 13 Nov 1992 04:32 |
34 Years ago
0 replies |
|
Ad hominum
By: maj on Wed, 11 Nov 1992 04:36 |
34 Years ago
2 replies |
|
New Series in Computing
By: Giuseppe Scollo on Thu, 12 Nov 1992 16:52 |
34 Years ago
0 replies |
|
Functions for n-valued logic
By: franco lombardo on Thu, 12 Nov 1992 14:57 |
34 Years ago
0 replies |
|
Re: What is Computer Science (was: Natural Kinds)
By: Michael Hand on Tue, 10 Nov 1992 20:07 |
34 Years ago
0 replies |
|
(impredic./Russell) - Apology & thanks.
By: Bill Taylor on Tue, 10 Nov 1992 02:11 |
34 Years ago
0 replies |
|
Re: What is Computer Science (was: Natural Kinds)
By: Kaushik Banerjee on Mon, 09 Nov 1992 23:23 |
34 Years ago
0 replies |
|
Re: Human Computers....
By: Mark Alan Lang on Sun, 08 Nov 1992 01:32 |
34 Years ago
2 replies |
Page 2 of 5 • 233 total threads
Thread Navigation
Threads show conversation groups with message counts
Click thread titles to view the full discussion
G to switch to chronological article view