Re: article on schools of foundations of mathematics
examachine_at_gmail.com
Date: 01/23/05
- Next message: kiki: "Re: fastest way to derive sum(k^3, for k=1, ...n)?"
- Previous message: Mark Fergerson: "Re: [OT] I hate being American"
- In reply to: George Cox: "Re: article on schools of foundations of mathematics"
- Next in thread: robert j. kolker: "Re: article on schools of foundations of mathematics"
- Messages sorted by: [ date ] [ thread ]
Date: 23 Jan 2005 13:05:56 -0800
Dear George Cox,
:Tautologies aren't meaningless. P or not-P may be considered
:meaningless up to a point but to discover that it is a tautology one
:must assign truth values (true and false) to P. And to assign truth
:values to P is to give meaning to P, and thus to P or not-P.
I agree with your observation that it takes experimentation to discover
the generality of even the most obvious logical principles.
:Also mathematics goes beyond tautologies: not every theorem of first
:order logic is a tautology.
Could you please elaborate?
Regards,
-- Eray Ozkural
- Next message: kiki: "Re: fastest way to derive sum(k^3, for k=1, ...n)?"
- Previous message: Mark Fergerson: "Re: [OT] I hate being American"
- In reply to: George Cox: "Re: article on schools of foundations of mathematics"
- Next in thread: robert j. kolker: "Re: article on schools of foundations of mathematics"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
