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,588

Recent Messages

Discussion

Posted

1

Re: DEFINITION OF =

sci.math

Oct 1, 2014 1:32 AM

2

Re: professors of MIT endorse proof to arxiv that Maxwell Equations derive Peano Axioms

sci.math

Sep 23, 2014 4:06 PM

3

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

sci.math

Sep 21, 2014 10:06 AM

4

Axioms from Programs

sci.math

Jul 2, 2014 6:24 PM

5

Constructing Arithmetic from Geometry

sci.math

Jul 2, 2014 6:05 PM

6

Axioms of the Integers

sci.math

Jul 2, 2014 5:20 PM

7

Re: Why I think mathematics is really logic.

sci.math

Jun 15, 2013 11:04 AM

8

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

sci.math

Jun 13, 2013 11:40 PM

9

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

sci.math

Jun 10, 2013 8:09 AM

10

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

sci.math

Jun 9, 2013 5:04 AM

Show all user messages

