Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.


User Profile: shymathgu_@_mail.com



User Profile for: shymathgu_@_mail.com

UserID:

274006

Name:

CharlieBoo

Email:


Registered:

2/27/06

Total Posts:

1,586

Recent Messages

Discussion

Posted

1

MartinLof Proofs as Programs is False and Undemonstrated. Theorems are Programs

sci.math.independent

Sep 21, 2014 10:06 AM

2

Axioms from Programs

sci.math.independent

Jul 2, 2014 6:24 PM

3

Constructing Arithmetic from Geometry

sci.math.independent

Jul 2, 2014 6:05 PM

4

Axioms of the Integers

sci.math.independent

Jul 2, 2014 5:20 PM

5

Re: Why I think mathematics is really logic.

sci.math.independent

Jun 15, 2013 11:04 AM

6

Re: Does ANYONE here believe there is fraud and incompetence in logic/computer science publishing?

sci.math.independent

Jun 13, 2013 11:40 PM

7

Re: Does ANYONE here believe there is fraud and incompetence in logic/computer science publishing?

sci.math.independent

Jun 10, 2013 8:09 AM

8

Re: ZFC = only PA (a glorified adding machine) and some arbitrary statements about sets

sci.math.independent

Jun 9, 2013 5:04 AM

9

Re: LOGIC & MATHEMATICS

sci.math.independent

Jun 4, 2013 10:19 AM

10

Re: LOGIC & MATHEMATICS

sci.math.independent

May 28, 2013 3:33 PM

Show all user messages

