Near Matches
Ignore Exact
Full Text
random truth
created by
tim_three
(
idea
) by
tim_three
(3.6 y)
(
print
)
?
(
I like it!
)
Thu Mar 02 2000 at 22:11:36
A
truth
that cannot be derived from the
axiom
s of a given
formal system
(
idea
) by
synx
(5.9 y)
(
print
)
?
(
I like it!
)
Thu Feb 22 2001 at 8:42:22
It appears now that there are many random truths in any given
formal system
. This is extremely unfortunate in many ways. With random truths, even if we were able to construct an automatic
proof generator
to generate all proofs from the axioms, we would never be able to construct a list of all
truths
in any given formal system. This means that these random truths must be
divinely inspired
or the result of a long
meditation
. Presumably
Buddha
would have known of all the random truths in the Universe.
Godel's Theorem
is an extremely important result which really really sucks. Heres why: Godel's Theorem talks about what is 'random truths', the problem is most of
science
,
math
, and even
stats
(uses
set theory
) use formal systems. Therefore there are true statements which cannot be proven. Since our understanding of the
universe
hinges on
Physics
which hinges on
formal logic systems
, there are true things in the universe which we cannot prove.
printable version
chaos
never trust a minty brained man
The Romantic Fallacy
formal system
symbolic logic
axiom
Truth
Editor Log: March 2005
Contingency
process physics
absolute relativism
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.
Login
Password
remember me
password reminder
register
Everything2 Help
Drink up!
Benedictus de Spinoza
Jazz Pianists
How to give a hug
The Bible and same-sex marriage
Ornette Coleman
rules of killing (human edition)
Decrying political correctness without an understanding of its causes and intended consequences is little more than racism muttered under one's breath
Pompey
John Lennon, The Hippie Fanboy, Death, and "Gimme Some Truth"
Constitution of South Africa
It's the End of the World as We Know It
Ethical Discussion on the Internet Worm
May 19, 2007
XWiz
Trism
(
review
)
artman2003
Briefcase Full of Souls - Part I
(
fiction
)
Dreamvirus
Alan Ladd
(
person
)
waverider37
Harold Holt
(
person
)
The Debutante
Until death do us part
(
fiction
)
Ysardo
a brother to a sister
(
personal
)
antigravpussy
your warm whispers
(
personal
)
Clarke
Multiculturalism
(
idea
)
aneurin
Earl of Landaff
(
person
)
Heitah
Pseudocide
(
idea
)
XWiz
Google Knol
(
lede
)
Mythi
July 24, 2008
(
personal
)
locke baron
The fall of Earth
(
fiction
)
BookReader
Fear the Cold
(
dream
)
Pavlovna
Kathleen MacInnes
(
person
)
Everything 2 is brought to you by the letter C and
The Everything Development Company
