TCP Shorts: Existence Proofs

An existence proof is simply a proof that shows a particular kind of object exists, or can exist. Why is that interesting? Because if you're in the early days of gathering data about something and you never observe the thing actually happening, it's very hard to tell if it's a 0 probability event (it will never, ever happen) or just a low probability event (it will happen, just very rarely). Once you have an existence proof you know you're not completely wasting your time by searching.

TCP Shorts are an experimental feature where we try to explain an important concept in under 140 words.
comments powered by Disqus

Get the best

Get monthly email updates with the best from The Concepts Project. No spam, ever.

Contact us

Get in touch, we'd love to hear from you: theconceptsproject@gmail.com

Greatest Hits


Thinking At The Margin: what to do when you drop your piggy bank in the middle of the forest.

Strategy and Backward Induction: how to win a week of lunches from your unsuspecting colleagues.

What is Multiple Imputation?: when statisticians turn into detectives.

On Shuttle Drivers, Chocolate and NP Completeness: a deliciously difficult problem in computer science.

Rest and Digest vs Fight or Flight: how your body (and medications) help with fighting tigers.

Sites we like


William Shaw, writing about Politics, Theatre, Sci-fi… Mainly Sci-fi.

Better Explained, for maths explanations that click.

Science Non Fiction, a graduate student perspective on science in the news and in our lives.

Clearer Thinking, learn to think more clearly and make better decisions.

EconScribe.org, working to improve the quality of research communications.

Jess Whittlestone, a blog about decision making and behavioural science.