Logic and Philosophy of Math
Is math derived from logic or is logic derived from math?
| Forum | Topics | Posts | Latest Post | |
 |
Logic Homework
Questions about specific logic issues. Please attempt to solve the problem and show where you're lost. |
331 | 1,968 | In Stuck on Proving logical expre... By SBonez 11/19/09 - 07:42 PM  |
| Show unanswered topics / topics with 10+ replies / all topics |
| Topic Title | Author | Replies | Views | Rating | Created | Last Post | |
|
Pinned: Recommended Reading
(1,
2,
3)
|
Timothy | 20 | 3486 | Apr 29, 2006 06:31 PM |
Sep 28, 2009 01:24 PM By Timothy |
|
|
|
Pinned: Very Basic Terms of Logic
|
dreamweaver | 8 | 1428 | Mar 06, 2004 07:08 AM |
Sep 28, 2009 07:47 AM By stax |
|
|
|
There is one infinite set
There is one infinite set. |
vectorcube | 2 | 41 | Nov 19, 2009 12:24 PM |
Nov 21, 2009 02:27 AM By MathematicalPhysics Wizard |
|
|
|
Proof that numbers exist
(1...
4,
5,
6)
|
ManiacJack | 54 | 1443 | Jul 05, 2009 02:05 PM |
Nov 20, 2009 06:52 PM By Bourbaki |
|
|
|
Places That Don't Exist.
|
throng | 8 | 81 | Nov 19, 2009 01:38 PM |
Nov 20, 2009 08:31 AM By rigelrover |
|
|
|
Is there a Mathematical Proof that
(1,
2,
3,
4)
I do not believe that it is true, so is there a proof? |
James S Saint | 34 | 563 | Oct 31, 2009 11:32 AM |
Nov 20, 2009 02:35 AM By magpies |
|
|
|
Troubles with Quantificational Logic
|
Haven | 2 | 31 | Nov 19, 2009 10:13 PM |
Nov 19, 2009 10:24 PM By Haven |
|
|
|
Gentzen's Cut Elimination theorem
|
Sergei_Trop | 0 | 39 | Nov 17, 2009 06:42 AM |
Nov 17, 2009 06:43 AM By Sergei_Trop |
|
|
|
proof of ~VxQx therefore Ex~Qx
|
kingoftsr | 0 | 25 | Nov 16, 2009 07:08 AM |
Nov 16, 2009 07:08 AM By kingoftsr |
|
|
|
Zeno's Paradox
(1,
2,
3,
4)
|
Samuel Locke | 31 | 577 | Oct 20, 2009 07:13 AM |
Nov 15, 2009 10:10 AM By mattmark |
|
|
|
n^4
(1,
2)
|
throng | 14 | 217 | Oct 25, 2009 08:22 AM |
Nov 13, 2009 09:51 PM By throng |
|
|
|
Hello, New here. Don't tear me apart too badly
Question about (I'm sure) very elementary logic. |
msquires9 | 7 | 114 | Nov 13, 2009 03:25 AM |
Nov 13, 2009 06:07 PM By TheSandman |
|
|
|
Infinity As Sphere
|
antsmars | 2 | 66 | Nov 11, 2009 12:48 PM |
Nov 12, 2009 01:04 PM By FloydMcHenry |
|
|
|
It is raining
(1...
6,
7,
8)
|
Banno | 71 | 772 | Oct 29, 2009 01:52 AM |
Nov 09, 2009 05:14 AM By MiyamotoMusashi |
|
|
|
Demarcating Logic
|
Timothy | 7 | 150 | Sep 15, 2009 11:40 AM |
Oct 31, 2009 01:14 PM By Timothy |
|
|
|
A Question?
|
oriental67 | 1 | 37 | Oct 28, 2009 03:22 AM |
Oct 28, 2009 06:17 AM By unenlightened |
|
|
|
Why mathematical logic?
(1,
2)
|
lullus | 12 | 261 | Oct 10, 2009 01:55 PM |
Oct 27, 2009 01:35 PM By lullus |
|
|
|
Negative Numbers
(1,
2,
3)
|
Samuel Locke | 29 | 319 | Oct 22, 2009 09:48 AM |
Oct 26, 2009 01:02 PM By Banno |
|
|
|
Metatheory for a Logic
I'm trying to construct the theorems for a Fitch style calculus. |
ronlongo | 0 | 71 | Oct 22, 2009 07:01 PM |
Oct 22, 2009 07:01 PM By ronlongo |
|
|
|
Counter examples
How do you give counter examples? |
Why exist? | 4 | 99 | Oct 22, 2009 06:32 AM |
Oct 22, 2009 11:00 AM By Postmodern Beatnik |
Page: 1 2 3 4 5 6 7 8 9 10 11 Last
 Actions |
Forum Stats