Logic Forum

Main Page | Report this Page

Topics		Replies	Author	Views	Last Post
Science Forum Index » Logic Forum » Page 5 of 101 Goto page Previous 1, 2, 3, 4, 5, 6 ... 99, 100, 101 Next
	Godels incompleteness theorem is meaningless	0	elsiemelsi	6	Fri Apr 18, 2008 8:39 pm elsiemelsi
	robinson arithmetic is not incomplete [ Goto page: 1 ... 8, 9, 10 ]	148	elsiemelsi	316	Fri Apr 18, 2008 7:58 pm elsiemelsi
	Proving (or P (not P)) in a natural deduction system	1	namin	5	Fri Apr 18, 2008 6:11 pm namin
	Proving (or P (not P)) in a natural deduction system	0	namin	9	Thu Apr 17, 2008 10:37 pm namin
	Is a count a number?	0	John Jones	12	Thu Apr 17, 2008 2:01 pm John Jones
	ËíãÇÊ åíÝÇÁ æåÈí	0	ÝæÇÒ	23	Thu Apr 17, 2008 10:28 am ÝæÇÒ
	The importance of the discarded number	5	John Jones	25	Thu Apr 17, 2008 12:49 am William Elliot
	Logical Reformation	2	Eukie_M_SHIRAISHI	15	Wed Apr 16, 2008 8:55 pm Eukie_M_SHIRAISHI
	research post	0	Alan Smaill	15	Wed Apr 16, 2008 5:06 am Alan Smaill
	Logical operators	4	John Jones	37	Tue Apr 15, 2008 11:07 pm William Elliot
	Logical Reformation Initiative	0	Eukie_M_SHIRAISHI	11	Tue Apr 15, 2008 8:29 pm Eukie_M_SHIRAISHI
	Limited Resolution for 3SAT	0	Guest	7	Tue Apr 15, 2008 7:02 pm Guest
	ZFC is proven to be inconsistent [ Goto page: 1, 2 ]	18	elsiemelsi	63	Tue Apr 15, 2008 4:22 pm elsiemelsi
	Semantics of First-Order Languages [ Goto page: 1 ... 6, 7, 8 ]	116	Guest	630	Tue Apr 15, 2008 4:37 am William Elliot
	Wiles did not prove fermats last theorem [ Goto page: 1, 2, 3 ]	37	elsiemelsi	138	Tue Apr 15, 2008 2:46 am Aatu Koskensilta
	Does a false proposition imply every proposition ? [ Goto page: 1, 2, 3 ]	36	Eukie_M_SHIRAISHI	116	Tue Apr 15, 2008 1:24 am herbzet
	Is "not-P or Q" equivalent to "P implies Q" ? [ Goto page: 1, 2 ]	16	Eukie_M_SHIRAISHI	96	Mon Apr 14, 2008 10:30 pm Rob Johnson
	Are all tautologies informative?	8	John Jones	39	Mon Apr 14, 2008 4:07 pm John Jones
	Goedel's Incompleteness Reconsidered [ Goto page: 1 ... 3, 4, 5 ]	65	Eukie_M_SHIRAISHI	261	Mon Apr 14, 2008 10:18 am Aatu Koskensilta
	Rainbow in our lives	0	alanejackson	15	Sun Apr 13, 2008 7:26 pm alanejackson
	Size Theory. corrected again	9	Guest	47	Sun Apr 13, 2008 3:26 pm Guest
	prove ~(P/\~P). and why is it true	3	elsiemelsi	26	Sun Apr 13, 2008 6:32 am elsiemelsi
	Z-Infinity	5	Guest	33	Sun Apr 13, 2008 6:30 am Guest
	Logic and Information Theory	2	Newberry	24	Sun Apr 13, 2008 5:23 am Newberry
	Somewhere you can find dissertations	0	Stepper	19	Sat Apr 12, 2008 3:58 pm Stepper
	#####ONLINE JOB OPPORTUNITY#####	0	rani	17	Sat Apr 12, 2008 3:12 am rani
	money	0	Guest	12	Fri Apr 11, 2008 5:41 pm Guest
	Godel's ontological ambiguity	0	John Jones	18	Fri Apr 11, 2008 2:20 pm John Jones
	godels second incompleteness theorem is trivial	0	elsiemelsi	16	Thu Apr 10, 2008 6:41 pm elsiemelsi
	9/11 was not perpetrated by Muslims after all.	4	Guest	33	Wed Apr 09, 2008 8:38 pm Bob Casanova
	Using the Godellian Proof	0	John Jones	19	Wed Apr 09, 2008 2:19 pm John Jones
	Incompleteness vs. Mechanical Reasoning [ Goto page: 1, 2, 3, 4 ]	56	Marshall	164	Wed Apr 09, 2008 1:20 pm John Jones
	jobs	0	usha	14	Wed Apr 09, 2008 4:17 am usha
	Kripke on truth predicate for Sigma_1 sentences	6	LauLuna	31	Tue Apr 08, 2008 4:15 am LauLuna
	kappa	1	Guest	10	Tue Apr 08, 2008 1:00 am William Elliot
	summands of sum	1	oercim	7	Mon Apr 07, 2008 6:04 pm Ken Pledger
	åíÝÇÁ æåÈí æåí ÓßÑÇäå(ÝÏíæ)	0	ÝæÇÒ	20	Mon Apr 07, 2008 7:50 am ÝæÇÒ
	Size Theory. [ Goto page: 1, 2, 3 ]	30	Guest	116	Mon Apr 07, 2008 7:11 am MoeBlee
	Largest Set in ZFC? [ Goto page: 1 ... 3, 4, 5 ]	63	Guest	446	Mon Apr 07, 2008 6:59 am MoeBlee
	The definition of natural number.	4	Guest	25	Mon Apr 07, 2008 2:03 am Guest
	Goedel's Incompleteness Theorem and omega-consistency [ Goto page: 1, 2, 3 ]	35	Scott H	103	Sun Apr 06, 2008 10:32 pm Charlie-Boo
	Size Theory: corrected. [ Goto page: 1, 2, 3 ]	31	Guest	107	Sun Apr 06, 2008 4:34 pm Guest
	The definition of natural number	0	Guest	8	Sun Apr 06, 2008 1:22 pm Guest
	non well-ordered models	0	Isaac	12	Sun Apr 06, 2008 9:52 am Isaac
	You leave me breathless	0	ÝæÇÒ	8	Sun Apr 06, 2008 3:46 am ÝæÇÒ
	cofinal finish	0	William Elliot	14	Sat Apr 05, 2008 10:42 pm William Elliot
	How To Pose	0	Borked Pseudo Mailed	8	Sat Apr 05, 2008 5:23 pm Borked Pseudo Mailed
	Which Characters are Bad?	1	Charlie-Boo	17	Sat Apr 05, 2008 8:14 am Marshall
	ãáÇÈÓ ÏÇÎáíÉ ÈÇáÑíãæÊ ßäÊÑæ á ÈÇáÈÍÑíä	0	ÝæÇÒ	136	Fri Apr 04, 2008 4:58 am ÝæÇÒ
	Sequences of digits [ Goto page: 1, 2, 3 ]	31	WM	105	Thu Apr 03, 2008 9:08 am MoeBlee

Page 5 of 101 Goto page Previous 1, 2, 3, 4, 5, 6 ... 99, 100, 101 Next All times are GMT - 5 Hours The time now is Fri Dec 05, 2008 6:41 am