Math Forum
http://mathforum.org/kb
List of forum topicsenRe: Is logic part of mathematics - or is mathematics part of logic?
http://mathforum.org/kb/thread.jspa?messageID=9159872&tstart=0#9159872
On Jul 7, 2013, at 1:17 PM, Joe Niederberger <niederberger@comcast.net> wrote:

> This has gotten very]]>Jul 7, 2013 5:19:40 PMJul 7, 2013 5:19:40 PMsyscore0Re: Is logic part of mathematics - or is mathematics part of logic?
http://mathforum.org/kb/thread.jspa?messageID=9159874&tstart=0#9159874
A: The link to a document referred in that post was inadvertently left out there.

The]]>Jul 7, 2013 2:20:31 PMJul 7, 2013 2:20:31 PMgsc0Re: Is logic part of mathematics - or is mathematics part of logic?
http://mathforum.org/kb/thread.jspa?messageID=9159769&tstart=0#9159769
>Sorry, I meant when you said "B therefore A". In CS that doesn't follow the same way it does in]]>Jul 7, 2013 1:17:17 PMJul 7, 2013 1:17:17 PMniederberger@comcast.net1Re: Is logic part of mathematics - or is mathematics part of logic?
http://mathforum.org/kb/thread.jspa?messageID=9159761&tstart=0#9159761
>Humbug! Russell so went way out on the limb of "pure formalism", well before the essence of]]>Jul 7, 2013 12:24:33 PMJul 7, 2013 12:24:33 PMniederberger@comcast.net0Re: Is logic part of mathematics - or is mathematics part of logic?
http://mathforum.org/kb/thread.jspa?messageID=9159557&tstart=0#9159557
> Humbug! > Russell so went way out on the]]>Jul 7, 2013 12:14:32 AMJul 7, 2013 8:51:56 AMgsc0Re: Is logic part of mathematics - or is mathematics part of logic?
http://mathforum.org/kb/thread.jspa?messageID=9159706&tstart=0#9159706
> > On Jul 5, 2013, at 10:12 PM, "Clyde]]>Jul 7, 2013 3:31:56 AMJul 7, 2013 3:31:56 AMgsc0Re: Is logic part of mathematics - or is mathematics part of logic?
http://mathforum.org/kb/thread.jspa?messageID=9159374&tstart=0#9159374
On Jul 5, 2013, at 10:12 PM, "Clyde Greeno @ MALEI" <greeno@malei.org> wrote:

> "Pure" mathematics entails]]>Jul 6, 2013 12:20:21 PMJul 6, 2013 12:20:21 PMsyscore0Re: Is logic part of mathematics - or is mathematics part of logic?
http://mathforum.org/kb/thread.jspa?messageID=9159312&tstart=0#9159312
Russell so went way out on the limb of "pure formalism", well before the essence of mathematics was discerned. "Pure" mathematics]]>Jul 5, 2013 10:12:03 PMJul 5, 2013 10:12:03 PMgreeno@malei.org1Is logic part of mathematics - or is mathematics part of logic?
http://mathforum.org/kb/thread.jspa?messageID=9159320&tstart=0#9159320
]]>Jul 5, 2013 10:12:02 PMJul 5, 2013 10:12:02 PM8