Logic Forum

Main Page | Report this Page

Topics		Replies	Author	Views	Last Post
Science Forum Index » Logic Forum » Page 98 of 100 Goto page Previous 1, 2, 3 ... 97, 98, 99, 100 Next
	A large-cardinal axiom	1	Rupert	171	Tue Jan 13, 2004 7:59 pm Robert E. Beaudoin
	turing machine multitape	1	jolly2500	213	Tue Jan 13, 2004 1:59 pm Charlie-Boo
	Squares of 0.999... tend away from 1 [ Goto page: 1, 2, 3 ]	39	Garry Denke	1027	Tue Jan 13, 2004 11:52 am karl malbrain
	Infinite Arithmetic Sets - One-one Mapping [ Goto page: 1 ... 3, 4, 5 ]	73	Tony Thomas	1778	Tue Jan 13, 2004 11:07 am The Immortalist
	ZF\|-Con(PA) (???)	11	David C. Ullrich	382	Tue Jan 13, 2004 7:25 am David C. Ullrich
	a paradox in ZF?? ... ... [ Goto page: 1, 2 ]	15	giovanni lagnese	509	Tue Jan 13, 2004 7:22 am David C. Ullrich
	Additional Axioms for (1st order) Formal Systems.	0	namducnguyen	201	Tue Jan 13, 2004 12:08 am namducnguyen
	Autism One	0	Edmund Arranga	239	Mon Jan 12, 2004 10:10 pm Edmund Arranga
	0.999... = 1 [ Goto page: 1 ... 21, 22, 23 ]	341	Sekolah Alam Shah	3035	Mon Jan 12, 2004 7:45 pm Johan Kullstam
	technical question concerning the original proof of the Gode	5	mx	230	Mon Jan 12, 2004 1:28 pm Charlie-Boo
	online literatures	0	Ryan Lee	130	Thu Jan 08, 2004 11:38 pm Ryan Lee
	Looking for further reading on analytical logic	8	ChrisX	238	Sun Jan 11, 2004 11:20 am ChrisX
	If String Theory Cannot Be Proved--Can It Be Disproved? Yes!	0	SDR	135	Sat Jan 10, 2004 7:07 pm SDR
	If String Theory Cannot Be Proved--Can It Be Disproved? Yes!	0	SDR	137	Sat Jan 10, 2004 7:07 pm SDR
	Powers of .999... tend to 0, not 1	0	Garry Denke	171	Sat Jan 10, 2004 8:14 am Garry Denke
	recursive/inductive definitions? [ Goto page: 1, 2 ]	17	mx	590	Fri Jan 09, 2004 4:24 am Torkel Franzen
	Logic/math tools	10	Tarald Andresen	464	Thu Jan 08, 2004 5:50 pm pmailkeey
	Enough is enough [ Goto page: 1, 2 ]	15	mitch	651	Thu Jan 08, 2004 11:41 am Herman Jurjus
	Cardinality of Set of Computable Numbers? [ Goto page: 1 ... 3, 4, 5 ]	66	Russell Easterly	1686	Wed Jan 07, 2004 11:28 pm Tim Smith
	Definition of definition	3	Uahlim e/o non Uahlim	259	Wed Jan 07, 2004 6:54 pm Witt
	The absolute truth [ Goto page: 1, 2, 3 ]	34	George Buyanovsky	1168	Tue Jan 06, 2004 4:07 pm Ahmed Ouahi, Architect
	Enough is enough	0	mitch	189	Tue Jan 06, 2004 4:10 am mitch
	Rucker on Infinitesimals (was '0.999... = 1') [ Goto page: 1, 2 ]	19	Paul Holbach	612	Mon Jan 05, 2004 8:24 pm Alekzander
	Intersections of transitive models	7	Daniel Waggoner	315	Mon Jan 05, 2004 8:12 pm Robert E. Beaudoin
	Looking for further reading on analytical logic	0	ChrisX	242	Sun Jan 04, 2004 9:00 pm ChrisX
	Rucker on Infinitesimals (was '0.999... = 1')	0	Paul Holbach	247	Sun Jan 04, 2004 5:19 pm Paul Holbach
	Existential quatifier and implications	0	Yoshi Gev	228	Sun Jan 04, 2004 6:59 am Yoshi Gev
	Guantanimo enemy combatants; orange code terror alerts; espi	0	Archimedes Plutonium	253	Sat Jan 03, 2004 4:25 pm Archimedes Plutonium
	Should the USA preoccupy itself with Terrorism or should it	0	Archimedes Plutonium	274	Sat Jan 03, 2004 4:00 pm Archimedes Plutonium
	The Political Significance Of The Sequent Calculus (Revised)	2	Jeff Rubard	418	Sat Jan 03, 2004 11:42 am Jeff Rubard
	Rules of Inference	5	Sekolah Alam Shah	698	Fri Jan 02, 2004 7:39 pm Charlie-Boo
	CFP: International Conference on Computational Intelligence	0	CIMCA	155	Sun Dec 28, 2003 1:56 am CIMCA
	C++ Simulator of a Universal Turing Machine	6	Alex Vinokur	410	Thu Jan 01, 2004 3:41 am \|-\|erc
	Designs for George [ Goto page: 1, 2, 3 ]	30	mitch	1029	Thu Jan 01, 2004 3:11 am \|-\|erc
	[FAQ, 99/07/28] Mathematical logic on the web	0	Boris 'pi' Piwinger	217	Wed Dec 31, 2003 8:03 pm Boris 'pi' Piwinger
	Concepts and Objects in Frege (need help!)	3	EveryThingYouDoIsABalloon	335	Wed Dec 31, 2003 5:41 pm \|-\|erc
	ILLC Research Reports and Technical Notes 2003	0	Marco Vervoort,P.318,+31	240	Wed Dec 31, 2003 12:00 pm Marco Vervoort,P.318,+31
	eer	0	FEerguy9	133	Tue Dec 30, 2003 10:12 pm FEerguy9
	CFP: International Conference on Intelligent Agents, Web Tec	0	CIMCA	177	Sun Dec 28, 2003 1:56 am CIMCA
	axiom [ Goto page: 1, 2 ]	16	mitch	997	Mon Dec 29, 2003 5:56 pm George Greene
	Information content of identity statement [ Goto page: 1, 2, 3 ]	40	mitch	1412	Mon Dec 29, 2003 5:26 pm George Greene
	are these statements the same	11	\|-\|erc	514	Mon Dec 29, 2003 12:41 am \|-\|erc
	Kitten	4	Morgan	267	Fri Dec 26, 2003 12:00 pm The Ghost In The Machine
	Is AvB = BvA (In Natural Deduction In Sentential Logic)?	3	er	315	Fri Dec 26, 2003 4:41 am William Elliot
	Would like comments and critiques of this.	1	Gunwitchian.	267	Wed Dec 24, 2003 5:45 am \|-\|erc
	Logic and (Natural Language or more specific: Questions)	3	Michiel Borkent	317	Wed Dec 24, 2003 12:44 am \|-\|erc
	JSH: Background information, math	12	James Harris	442	Tue Dec 23, 2003 7:47 pm Brian Quincy Hutchings
	undef on condition	1	Sem K.	247	Tue Dec 23, 2003 5:05 pm Sem K.
	seeking textbook recommendation for teaching [ Goto page: 1, 2 ]	16	Leonard Blackburn	840	Tue Dec 23, 2003 3:53 pm maky m.
	Help needed for exercises in Natural Deduction in Sentential	1	er	416	Tue Dec 23, 2003 2:41 am William Elliot

Page 98 of 100 Goto page Previous 1, 2, 3 ... 97, 98, 99, 100 Next All times are GMT - 5 Hours The time now is Sat Jul 26, 2008 5:39 pm