Member since August 12, 2011

**Posts:**7**Location:****Occupation:**

No Profile

Sun 21 Aug, 2011 06:25 am - [quote="IlyaStavinsky"]
[size=150][b]The energy of a charged body in freefall [/b][/size]
All bodies in free fall receive the same acceleration, in other words, the acceleration is not... (view)

Sat 20 Aug, 2011 04:17 am - Suppose we are given two axioms in Real Nos:
1) for all,x ( x+0=x)
2)for all x.y,z [ (x+y)z =xy +yz]
The equality theorem : for all ,x,y,z [ (x=y &y=z) => x=z]
The substitution... (view)

Thu 18 Aug, 2011 06:48 pm - [quote="jack phil"]
This is sort of an offshoot of the "this sentence is false thread". I think the solution to this question might be simpler than the solution to that one,... (view)

Thu 18 Aug, 2011 04:08 pm - [quote="Protoman2050"]
What's the difference b/w a formal and an informal proof, in mathematics? I have an informal proof that sqrt(2) is irrational:
1. Assume sqrt(2)=x/y,... (view)

Mon 15 Aug, 2011 07:44 pm - Here is a proof that the above is not a tautology:
Put B=false , P=true ,S=true ,C= true and we have :
for .......1) (F=>T)=>T ................................which is T... (view)

Mon 15 Aug, 2011 07:25 pm - 1) A=>B/ A=>~(~B&~C)
2) A........................................................................Hypothesis for conditional proof... (view)

Fri 12 Aug, 2011 05:27 am - This is not a tautology ,hence not provable (view)

**Philosophy Forum**- »
**triclino**