• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EST 11:06
CET 17:06
KST 01:06
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
Behind the Blue - Team Liquid History Book16Clem wins HomeStory Cup 289HomeStory Cup 28 - Info & Preview13Rongyi Cup S3 - Preview & Info8herO wins SC2 All-Star Invitational14
Community News
ACS replaced by "ASL Season Open" - Starts 21/0223LiuLi Cup: 2025 Grand Finals (Feb 10-16)41Weekly Cups (Feb 2-8): Classic, Solar, MaxPax win2Nexon's StarCraft game could be FPS, led by UMS maker13PIG STY FESTIVAL 7.0! (19 Feb - 1 Mar)17
StarCraft 2
General
Nexon's StarCraft game could be FPS, led by UMS maker How do you think the 5.0.15 balance patch (Oct 2025) for StarCraft II has affected the game? StarCraft 1 & 2 Added to Xbox Game Pass Behind the Blue - Team Liquid History Book Terran Scanner Sweep
Tourneys
LiuLi Cup: 2025 Grand Finals (Feb 10-16) WardiTV Team League Season 10 PIG STY FESTIVAL 7.0! (19 Feb - 1 Mar) $5,000 WardiTV Winter Championship 2026 StarCraft Evolution League (SC Evo Biweekly)
Strategy
Custom Maps
Map Editor closed ? [A] Starcraft Sound Mod
External Content
Mutation # 513 Attrition Warfare The PondCast: SC2 News & Results Mutation # 512 Overclocked Mutation # 511 Temple of Rebirth
Brood War
General
Which units you wish saw more use in the game? Ladder maps - how we can make blizz update them? ACS replaced by "ASL Season Open" - Starts 21/02 BW General Discussion TvZ is the most complete match up
Tourneys
[Megathread] Daily Proleagues Escore Tournament StarCraft Season 1 Small VOD Thread 2.0 KCM Race Survival 2026 Season 1
Strategy
Fighting Spirit mining rates Zealot bombing is no longer popular? Simple Questions, Simple Answers Current Meta
Other Games
General Games
ZeroSpace Megathread Diablo 2 thread Path of Exile Nintendo Switch Thread Battle Aces/David Kim RTS Megathread
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Deck construction bug Heroes of StarCraft mini-set
TL Mafia
TL Mafia Community Thread Mafia Game Mode Feedback/Ideas Vanilla Mini Mafia
Community
General
US Politics Mega-thread Russo-Ukrainian War Thread Ask and answer stupid questions here! Things Aren’t Peaceful in Palestine European Politico-economics QA Mega-thread
Fan Clubs
The IdrA Fan Club The herO Fan Club!
Media & Entertainment
[Req][Books] Good Fantasy/SciFi books [Manga] One Piece Anime Discussion Thread
Sports
2024 - 2026 Football Thread
World Cup 2022
Tech Support
TL Community
The Automated Ban List
Blogs
The Search For Meaning in Vi…
TrAiDoS
My 2025 Magic: The Gathering…
DARKING
Life Update and thoughts.
FuDDx
How do archons sleep?
8882
StarCraft improvement
iopq
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1970 users

What constitutes proof? - Page 3

Forum Index > General Forum
Post a Reply
Prev 1 2 3 4 Next All
LTT
Profile Blog Joined March 2003
Shakuras1095 Posts
November 13 2005 06:13 GMT
#41
On November 13 2005 08:14 BigBalls wrote:
Show nested quote +
On November 12 2005 19:17 LTT wrote:
Proof outside of an axiomatic system does not exist. Knowledge certainly does.


What is knowledge outside of an axiomatic/logical system?


In order to assert "I know that p", four conditions must be met:
1.) That p be true.
2.) That I believe that p.
3.) That I have good reasons, or sufficient evidence, for my belief that p.
4.) That I have no other evidence that might undermine my belief.

(Taken from Abel's Man is the Measure)
I'd highly recommend this book for you BigBalls. It goes into quite a bit more detail and does a fairly good job of presenting contrasting views on a variety of philosphical subjects.
MoltkeWarding
Profile Joined November 2003
5195 Posts
November 13 2005 06:41 GMT
#42
I think this is true, although by logic is it hard to find one which is false, otherwise it hasn't been proven. But we can watch the tendencies of the past (newton for example claiming that speed at which objects fall down was dependant of weight). Many past 'proofs' have been found to be wrong, and there are undoubtedly many more...


Again, can you give us examples of what has been "prooved" wrongly by the humanities and why we have no clue? I am going to defend my field of interest from ignorant remarks.
matamata
Profile Joined February 2005
United States133 Posts
November 13 2005 06:44 GMT
#43
On November 13 2005 15:41 MoltkeWarding wrote:
Show nested quote +
I think this is true, although by logic is it hard to find one which is false, otherwise it hasn't been proven. But we can watch the tendencies of the past (newton for example claiming that speed at which objects fall down was dependant of weight). Many past 'proofs' have been found to be wrong, and there are undoubtedly many more...


Again, can you give us examples of what has been "prooved" wrongly by the humanities and why we have no clue? I am going to defend my field of interest from ignorant remarks.


Dunno if you count ancient philosophy as part of your field of interest or not, but...
Xeno's achilles and tortoise paradox. Just a flawed inductive proof ;D
PlayJunior
Profile Joined August 2004
Armenia833 Posts
Last Edited: 2005-11-13 15:28:41
November 13 2005 12:26 GMT
#44
On November 13 2005 14:40 BigBalls wrote:
21

double major in math and computer science


what's interesting to me is what angles people approach the question from, based on their different backgrounds.


let me sort of rephrase the question. since there is no formal proof outside of an axiomatic/logical system, what is accepted as a proof? I suppose an overwhelming amount of evidence and data supporting a theory that cannot possibly be a statistical anomoly could be considered a loose proof. any way we can generalize proofs in different areas of study?

Me 22, become 23 soon.
Major in computer science and mathematics.
PHD student, 1st year.
I liked your formulation very much. Anyhow, as I pointed before, statistical evidence can prove wrong when the factors that have impact on experiment aren't quite clear.
2 moltke: Let me answer you with an anecdote.
A writer, a phisic and a mathematician are travelling in a treain through Scotland. They see sheep grazing in a field.
Writer: "Watch! How interesting...In fact, all the sheep in Scotland are black!"
Phisic: "Hmm...I'd say that in this part of Scotland most of the sheep are black"
Mathematician: "All I can state is that there are some sheep in Scotland which are black on at least one side...".
sanqi21
Profile Joined May 2003
United States162 Posts
November 13 2005 15:25 GMT
#45
chimeras, chimeras...
WhizKid77
Profile Joined November 2003
China682 Posts
November 13 2005 16:21 GMT
#46
A proof will always require a leap of faith somewhere (a premise/postulate/assumption) that you must take as truth. Then you deduce new statements from your set of premises using basic logical inference rules. One of these new statements might be the statement you are looking to prove. The tough part is actual being convinced that your premise is "correct". Once that occurs, you can immediately prove a statement when you have the inference trail figured out.

Without the leap of faith, all you have is a definition - an arbitrary declaration made by a human stating "this is MY truth". Sure, if you want, look at a definition as the simplest albeit degenerate form of a proof.
hay guys u thare???
mitsy
Profile Joined October 2005
United States1792 Posts
November 13 2005 16:32 GMT
#47
proof is the act of bringing into appearance convinced-being. you can't take it out of context. if you're talking about one individual, making them convinced is proof. if you're talking a nation, what convinces "them", or rather, "your them," is different but still clear cut. and for most educated people, it comes down to convincing those endoctrinated in science; but doesn't that leap over the whole question? it sure does. how do you convince someone that something is a scientific fact? it is still with text and for the most part they never can verify it fully but rather trust their specialized "society," all the same as we commoners do in a different, maybe less consistent form, but trust and convinced-being nonetheless!
express yourself--madonna
PlayJunior
Profile Joined August 2004
Armenia833 Posts
November 13 2005 21:37 GMT
#48
On November 14 2005 01:32 mitsy wrote:
proof is the act of bringing into appearance convinced-being. you can't take it out of context. if you're talking about one individual, making them convinced is proof. if you're talking a nation, what convinces "them", or rather, "your them," is different but still clear cut. and for most educated people, it comes down to convincing those endoctrinated in science; but doesn't that leap over the whole question? it sure does. how do you convince someone that something is a scientific fact? it is still with text and for the most part they never can verify it fully but rather trust their specialized "society," all the same as we commoners do in a different, maybe less consistent form, but trust and convinced-being nonetheless!

Rather pathetic but interesting. Anyhow, having matematical education, I'd say that proof is something that is not dependent on individual being convinced. That is, every formal proof in a formal system can be FORMALLY verified by a donkey, because the proof can be reduced to application of some rules to axioms or preconditions(English is my third language, so sorry ).
Let's mix these 2 concepts. We will distinguish proofs in formal and non-formal systems. With proof in a formal system well defined, let's try to define a proof in a non-formal system.
"We will call a proof in non formal system evidence of facts/stastical information/experiments or whatsoever if they suffice to convince anyone with sufficient knowledge in the area."
How do you like this guys?
mitsy
Profile Joined October 2005
United States1792 Posts
Last Edited: 2005-11-13 21:51:49
November 13 2005 21:44 GMT
#49
heh

whats your metaphysics, mr. math? ever get past the mind-body problem? got a formula for that?
express yourself--madonna
PlayJunior
Profile Joined August 2004
Armenia833 Posts
November 14 2005 12:41 GMT
#50
On November 14 2005 06:44 mitsy wrote:
heh

whats your metaphysics, mr. math? ever get past the mind-body problem? got a formula for that?

Sorry, didn't get the point. I just tried to assemble your and Bigballs' defiitions of proof.
LTT
Profile Blog Joined March 2003
Shakuras1095 Posts
November 14 2005 13:21 GMT
#51
On November 14 2005 21:41 PlayJunior wrote:
Show nested quote +
On November 14 2005 06:44 mitsy wrote:
heh

whats your metaphysics, mr. math? ever get past the mind-body problem? got a formula for that?

Sorry, didn't get the point. I just tried to assemble your and Bigballs' defiitions of proof.


Mitsy was being either immature or just desiring to throw out random ideas he/she learned in a philosophy course. For whatever reason, mitsy threw out a classical philosphical problem about the relation between the mind and body, or more specifically how something immaterial can affect something material and vis versa.

The mind influences the body through such things as thoughts of food producing saliva, listening to scary stories producing goosebumbs, and thoughts of sex having obvious effects. The body influences the mind most noticably through things like caffeine, alcohol, or any sorts of drugs.

Science has come close to bridging the gap, but even if we could map out every electronic pulse that caused a certain state of mind, or every thought that caused a certain pulse to travel through us, would we be able to say that those pulses are identical to that state?

baal
Profile Joined March 2003
10541 Posts
Last Edited: 2005-11-14 16:02:58
November 14 2005 16:02 GMT
#52
these threads are boring even for me, and im a pseudo intelectual sophistic biatch who loves to argue about philosophy.
Im back, in pog form!
mitsy
Profile Joined October 2005
United States1792 Posts
November 14 2005 22:18 GMT
#53
there is no gap, it's created by groundless assumptions about human experience, that was the point
express yourself--madonna
PlayJunior
Profile Joined August 2004
Armenia833 Posts
November 14 2005 22:36 GMT
#54
On November 15 2005 01:02 baal wrote:
these threads are boring even for me, and im a pseudo intelectual sophistic biatch who loves to argue about philosophy.

I am sure you haven't read the thread but feel obliged to post some random stuff about discussion being boring. Or it is a must to post in every thread even if you have nothing to say?
P.S. The discussion is not about philosophy.
Pseudo_Utopia
Profile Blog Joined December 2002
Canada827 Posts
November 15 2005 01:03 GMT
#55
All you need to do is ask: "What comes to mind upon hearing the word proof?" When something is proved, the only manifestations (the reality of it) are beliefs and predictions. People assume the proved thing is true and always will be, and make predictions based on that assumption. If we hold nothing as proved, we cannot make any assumptions and thus cannot deduce anything. We then live in an unstable world with no idea what's going on. Our desire to use assumptions actively in order to move through life with confidence is the chief motivator in proclaiming something as proved. The more abstracted from time and space and culture you want your beliefs to be, the more you struggle to get consistent proofs, or apparently consistent proofs (which come down to being the same thing, only the former is glorifying and the latter is negative).

I know rationalists will be disappointed and reject this view, but the thing is it actually describes how we live, and how we will live. It shows which factor (our desire to use assumptions actively in order to move through life with confidence) determines how "deep" or consistent upon analysis a series of statements called "proof" must be for a given person.
Retired SchiSm[LighT]
Pseudo_Utopia
Profile Blog Joined December 2002
Canada827 Posts
November 15 2005 03:37 GMT
#56
On November 15 2005 07:36 PlayJunior wrote:
Show nested quote +
On November 15 2005 01:02 baal wrote:
these threads are boring even for me, and im a pseudo intelectual sophistic biatch who loves to argue about philosophy.

I am sure you haven't read the thread but feel obliged to post some random stuff about discussion being boring. Or it is a must to post in every thread even if you have nothing to say?
P.S. The discussion is not about philosophy.


Epistemology is a branch of philosophy.
Retired SchiSm[LighT]
PlayJunior
Profile Joined August 2004
Armenia833 Posts
November 15 2005 12:36 GMT
#57
On November 15 2005 10:03 Pseudo_Utopia wrote:
All you need to do is ask: "What comes to mind upon hearing the word proof?" When something is proved, the only manifestations (the reality of it) are beliefs and predictions. People assume the proved thing is true and always will be, and make predictions based on that assumption. If we hold nothing as proved, we cannot make any assumptions and thus cannot deduce anything. We then live in an unstable world with no idea what's going on. Our desire to use assumptions actively in order to move through life with confidence is the chief motivator in proclaiming something as proved. The more abstracted from time and space and culture you want your beliefs to be, the more you struggle to get consistent proofs, or apparently consistent proofs (which come down to being the same thing, only the former is glorifying and the latter is negative).

I know rationalists will be disappointed and reject this view, but the thing is it actually describes how we live, and how we will live. It shows which factor (our desire to use assumptions actively in order to move through life with confidence) determines how "deep" or consistent upon analysis a series of statements called "proof" must be for a given person.

I think you are social/humanitarian. Clearly you mixed up a bunch of things.
ManaBlue
Profile Blog Joined July 2004
Canada10458 Posts
November 15 2005 12:57 GMT
#58
On November 12 2005 21:23 Oxygen wrote:
"A proof is a proof. What kind of a proof? It's a proof. A proof is a proof.
And when you have a good proof, it's because it's proven." -- Jean Chretien



No way he actually said that.
ModeratorTL VOD legends: Live2Win, hasuprotoss, Cadical, rinizim, Mani, thedeadhaji, Kennigit, SonuvBob, yakii, fw, pheer, CDRdude, pholon, Uraeus, zatic, baezzi. The contributors make this site what it is. *Props to FakeSteve for respecting the guitar gods*
mitsy
Profile Joined October 2005
United States1792 Posts
November 15 2005 15:05 GMT
#59
ignorance allows more certainty than knowledge
express yourself--madonna
Muhweli
Profile Joined September 2002
Finland5328 Posts
November 15 2005 15:40 GMT
#60
Oh god i'm too tired to read if this has come up yet.

I think "Bible" has the truth and proof. If you wanna know something, just read there! It's all there if you make a few hundred assumptions, hit a few baby's head to the rock and make a crusade.

20th hour without sleep, feeling drouzy.
River me timbers.
Prev 1 2 3 4 Next All
Please log in or register to reply.
Live Events Refresh
Wardi Open
13:00
#74
WardiTV1228
OGKoka 325
Rex140
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
Lowko362
OGKoka 325
Harstem 198
Rex 140
ProTech138
StarCraft: Brood War
Rain 10198
Jaedong 2535
Bisu 1824
Shuttle 1772
Sea 1262
Larva 909
Mini 673
Stork 547
ggaemo 357
Barracks 203
[ Show more ]
Sharp 157
Backho 144
sorry 91
JYJ 75
ToSsGirL 55
Hm[arnc] 49
Sea.KH 47
Shine 42
Aegong 40
yabsab 25
Rock 24
IntoTheRainbow 18
scan(afreeca) 17
GoRush 15
Terrorterran 14
Dota 2
Gorgc4470
Dendi635
Counter-Strike
shoxiejesuss3280
fl0m3104
byalli1131
Foxcn337
allub240
Other Games
singsing2555
B2W.Neo1074
hiko912
crisheroes332
Hui .272
Liquid`VortiX205
XaKoH 141
ArmadaUGS100
Mew2King70
ceh937
Trikslyr30
JuggernautJason0
Organizations
Counter-Strike
PGL32903
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 15 non-featured ]
StarCraft 2
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• WagamamaTV346
• lizZardDota231
League of Legends
• Nemesis4905
• Jankos1897
• TFBlade907
Upcoming Events
Monday Night Weeklies
1h 24m
OSC
7h 54m
WardiTV Winter Champion…
19h 54m
PiGosaur Cup
1d 8h
Replay Cast
1d 16h
WardiTV Winter Champion…
1d 19h
Replay Cast
2 days
PiG Sty Festival
2 days
Maru vs Bunny
Classic vs SHIN
The PondCast
2 days
KCM Race Survival
2 days
[ Show More ]
WardiTV Winter Champion…
2 days
Replay Cast
3 days
PiG Sty Festival
3 days
Clem vs Percival
Zoun vs Solar
Epic.LAN
3 days
Replay Cast
4 days
PiG Sty Festival
4 days
herO vs NightMare
Reynor vs Cure
CranKy Ducklings
4 days
Epic.LAN
4 days
Replay Cast
5 days
PiG Sty Festival
5 days
Serral vs YoungYakov
ByuN vs ShoWTimE
Sparkling Tuna Cup
5 days
Replay Cast
6 days
Replay Cast
6 days
Wardi Open
6 days
Liquipedia Results

Completed

Proleague 2026-02-14
LiuLi Cup: 2025 Grand Finals
Underdog Cup #3

Ongoing

KCM Race Survival 2026 Season 1
Nations Cup 2026
PGL Cluj-Napoca 2026
IEM Kraków 2026
BLAST Bounty Winter 2026
BLAST Bounty Winter Qual
eXTREMESLAND 2025
SL Budapest Major 2025

Upcoming

Escore Tournament S1: King of Kings
[S:21] ASL SEASON OPEN 1st Round
[S:21] ASL SEASON OPEN 1st Round Qualifier
[S:21] ASL SEASON OPEN 2nd Round
[S:21] ASL SEASON OPEN 2nd Round Qualifier
Acropolis #4
IPSL Spring 2026
HSC XXIX
uThermal 2v2 2026 Main Event
Bellum Gens Elite Stara Zagora 2026
RSL Revival: Season 4
WardiTV Winter 2026
BLAST Rivals Spring 2026
CCT Season 3 Global Finals
FISSURE Playground #3
IEM Rio 2026
PGL Bucharest 2026
Stake Ranked Episode 1
BLAST Open Spring 2026
ESL Pro League Season 23
ESL Pro League Season 23
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2026 TLnet. All Rights Reserved.