Everything2
Near Matches
Ignore Exact
Full Text
Everything2

false is true

created by jliszka

(idea) by jliszka (2 y) (print)   ?   I like it! Sat Apr 14 2001 at 20:16:48

Theorem: false is true
Proof:
	Let P be the statement, "If P is true, then false is 	
	true."

	Lemma: P is true.
	Proof: In order to prove the implication of P, we
		assume the premise and try to derive the 
		conclusion.  So assume the premise of P, 
		namely, that P is true.  Since P is true,
		and premise of P, "P is true" is true, then
		we know that the conclusion of P, "false is
		true." is true.  This proves the lemma.

	Now, since P is true, and the premise of P, "P is
	true" is true, the conclusion of P must be true, so 
	therefore false is true.  This concludes the proof.
Of course you can substitute any assertion for "false is true" in the above proof, but I thought this would be the most interesting.

So what is going on here? Can we easily just prove any arbitrary claim? Of course, this proof contradicts our notion of truth... it can't be that C is true for any statement C. Well, it's as simple as that. Our notion of truth is just not well defined, and leads to contradiction.

Guess we won't be needing that Cause-Effect Nullifier...


printable version
chaos

Cause-Effect Nullifier A Blather of Paradoxes Interesting whole number paradox Truth
True false Lemma Apocalypse
notion Zeno's Paradox Mathematics is not Truth Why Libertarianism won't work
Two color theorem The Everything and Nothing Manifesto Paradox Dialetheia
Office of Strategic Influence This sentence is true beige arbitrary
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.
  Epicenter
Login
Password

password reminder
register

Everything2 Help

Cool Staff Picks
Look at this mess the Death Borg made!
SpaceShipOne
Super Mario Brothers
monasticism
Carmen Jones
Jiddu Krishnamurti
Socrates
The Little Prince
Creating a password to convince yourself you have traveled back in time
A Sunny Place For Shady People: Summer Solstice, Santa Barbara Style, A Very Brady E2 Get-Together!
Fluke
Filesystem performance tweaking with XFS on Linux
How The Hudsucker Proxy saved my life
Palette of King Narmer
New Writeups
cryforhelp
Major dictionaries of the world(review)
Glowing Fish
The Uncanny X-Men and the New Teen Titans(thing)
WolfKeeper
Launch loop(idea)
TendoKing
Katana(person)
Wuukiee
Highly ornamental cultivars of brambles still have as many thorns as their wild counterparts(idea)
TheDeadGuy
Editor Log: May 2008(log)
everyday j.Lo
pray do not molest them(thing)
ammie
Bands Who Take Their Names from Eighteenth-century English Poetry and Prose(idea)
shaogo
Under My Thumb(review)
ammie
Rock On(person)
The Custodian
The Dresden Files(thing)
Ouzo
PETA becomes you, a proposed future(fiction)
Ereneta
Stone Soup, Part Two(fiction)
jjen
Sorrier than I ever thought I would be(personal)
locke baron
Moskva class antisubmarine cruiser(thing)
This affordable entertainment brought to you by The Everything Development Company