(Motivated by two questions from Gowers’s How should mathematics be taught to non mathematicians.)

Advertisements

(Motivated by two questions from Gowers’s How should mathematics be taught to non mathematicians.)

Advertisements

### Recent Comments

Roy Abrams on Frankl’s Conjecture for… Roy Abrams on Frankl’s Conjecture for… Roy Abrams on Frankl’s Conjecture for… Roy Abrams on Frankl’s Conjecture for… Roy Abrams on Frankl’s Conjecture for… Guabuzi on Frankl’s Conjecture for… Roy Abrams on Frankl’s Conjecture for… Gil Kalai on Frankl’s Conjecture for… Gil Kalai on Frankl’s Conjecture for… apgoucher on Serge Vlăduţ : Lattices with e… Gil Kalai on Frankl’s Conjecture for… Ilanka . on Frankl’s Conjecture for… -
### Recent Posts

- Frankl’s Conjecture for Large Families: Ilan Karpas’ Proof
- Test your intuition 33: Why is the density of any packing of unit balls decay exponentially with the dimension?
- Serge Vlăduţ : Lattices with exponentially large kissing numbers
- Peter Keevash and Eoin Long: Forbidden vector-valued intersections
- Peter Keevash: More and Easier Designs!
- Monday February 19: Quantum Coding and High Dimensional Expanders
- Alef’s Corner: There is Still a Small Gap in the Proof
- My Argument Against Quantum Computers: An Interview with Katia Moskvitch on Quanta Magazine
- The Semester Break activities of the High Dimensional Combinatorics and Expanders Special Year

### Top Posts & Pages

- Frankl's Conjecture for Large Families: Ilan Karpas' Proof
- Answer: Lord Kelvin, The Age of the Earth, and the Age of the Sun
- TYI 30: Expected number of Dice throws
- R(5,5) ≤ 48
- Amazing: Peter Keevash Constructed General Steiner Systems and Designs
- Can Category Theory Serve as the Foundation of Mathematics?
- About
- Serge Vlăduţ : Lattices with exponentially large kissing numbers
- Believing that the Earth is Round When it Matters

### RSS

Advertisements

### Categories

- Academics (9)
- Algebra and Number Theory (16)
- Analysis (5)
- Applied mathematics (3)
- Art (9)
- Blogging (12)
- Book review (4)
- Combinatorics (192)
- Computer Science and Optimization (91)
- Conferences (58)
- Controversies and debates (21)
- Convex polytopes (52)
- Convexity (24)
- Economics (23)
- Education (1)
- Elections 2015 (7)
- Games (31)
- Geology (2)
- Geometry (31)
- Gina Says (7)
- Guest blogger (22)
- Happy birthday (3)
- Information theory (2)
- Law (6)
- Logic and set theory (1)
- Mathematical logic and set theory (2)
- Mathematics over the Internet (21)
- Mathematics to the rescue (12)
- Movies (4)
- Music (2)
- Nostalgia (1)
- Number theory (6)
- Obituary (9)
- Open discussion (16)
- Open problems (87)
- personal (3)
- Philosophy (17)
- Physics (27)
- Poetry (5)
- Polymath10 (8)
- Polymath3 (10)
- Probability (55)
- Quantum (24)
- Rationality (24)
- Riddles (7)
- Sport (7)
- Statistics (3)
- Taxi-and-other-stories (18)
- Teaching (14)
- Test your intuition (47)
- Uncategorized (14)
- Updates (88)
- What is Mathematics (18)
- Women in science (9)

### Blogroll

- A CS Professor Blog
- A Hitchhiker's Guide to the Ivory Tower (Tony Feng)
- Accidental Mathematician
- Algorithmic Game Theory
- Analysis of Boolean functions
- Andreas Caicedo’s teaching pages
- Annoying Precision
- Anurag's math blog
- Area777
- Asaf Karagila
- Asymptotia
- Bits of DNA
- Computational complexity
- David Mumford
- Erdos problems on graphs
- Frank Morgan
- Freedom Math Dance
- Geomblog
- Geometry and the Imagination
- God Plays Dice
- Godel's lost letter and P=NP
- Gowers’s blog
- http://prelive.tricki.org/
- I am a Bandit (Sébastien Bubeck)
- Igor Pak's blog
- In theory
- John Baez
- Konard Swanepoel's Blog
- Kowalski’s Blog
- Low dimensional topology
- Machine learning (theory)
- Math Overflow
- Math with bad drawings
- Mathbabe
- Mathemata
- Mathematical Musing
- Mathematics without apologies by Michael Harris
- Matt Baker Math Blog
- Michael Nielsen
- My Biased Coin
- My Qstate
- n-category cafe
- NeverEndingBooks
- Noncommutative analysis
- Noncommutative geometry
- Oded Goldreich's choices
- Open Problems Garden
- OXdE
- Persiflage – Galois representations and more
- Peter Cameron's Blog
- Peter Sarnak’s letters (and more)
- Piece of mind
- Quantum Frontiers
- Quomodocumque
- Rigorous Trivialities
- Secret blogging seminar
- Shtetl Optimized
- Some plane truths (Adam Sheffer)
- Statistical Modeling
- Tanya Khovanova Math Blog
- TCS Math
- TCS stackexchange
- The Geometry Junkyard
- The Polymath Blog
- The Quantum Pontiff
- The Unapologetic Mathematician
- Theory of computing blog aggregator
- Thoughts by Emanuele Viola
- Thoughts by Emanuele Viola
- Tobias J. Osborne's research notes
- Todd’s and Vishal’s Blog
- Tricky wiki
- What’s new (Terry Tao)
- Windows on Theory
- xkcd
- דוד אסף על עניני מדינה ספרות ומדע – עונג שבת
- הבלוג של יעקב ריטוב
- נסיכת המדעים

### Archives

- March 2018 (2)
- February 2018 (6)
- January 2018 (8)
- December 2017 (5)
- November 2017 (6)
- October 2017 (11)
- September 2017 (6)
- August 2017 (3)
- June 2017 (1)
- May 2017 (3)
- April 2017 (4)
- March 2017 (4)
- February 2017 (5)
- January 2017 (6)
- December 2016 (1)
- November 2016 (1)
- October 2016 (2)
- September 2016 (1)
- August 2016 (1)
- July 2016 (2)
- May 2016 (5)
- April 2016 (5)
- March 2016 (1)
- January 2016 (2)
- December 2015 (1)
- November 2015 (2)
- October 2015 (3)
- September 2015 (1)
- August 2015 (4)
- May 2015 (2)
- April 2015 (4)
- March 2015 (7)
- February 2015 (4)
- January 2015 (2)
- December 2014 (8)
- November 2014 (2)
- October 2014 (2)
- September 2014 (1)
- August 2014 (4)
- July 2014 (3)
- June 2014 (3)
- May 2014 (3)
- March 2014 (2)
- February 2014 (2)
- January 2014 (3)
- November 2013 (2)
- October 2013 (3)
- September 2013 (9)
- August 2013 (3)
- July 2013 (3)
- June 2013 (3)
- May 2013 (10)
- April 2013 (8)
- March 2013 (9)
- February 2013 (2)
- January 2013 (4)
- December 2012 (5)
- November 2012 (3)
- October 2012 (1)
- August 2012 (2)
- July 2012 (2)
- June 2012 (5)
- May 2012 (2)
- April 2012 (5)
- March 2012 (4)
- February 2012 (2)
- January 2012 (2)
- December 2011 (4)
- November 2011 (3)
- October 2011 (2)
- September 2011 (2)
- August 2011 (3)
- July 2011 (3)
- June 2011 (4)
- April 2011 (1)
- February 2011 (3)
- January 2011 (6)
- November 2010 (8)
- October 2010 (9)
- September 2010 (1)
- August 2010 (1)
- July 2010 (1)
- June 2010 (4)
- May 2010 (3)
- April 2010 (1)
- March 2010 (3)
- February 2010 (10)
- January 2010 (9)
- December 2009 (7)
- November 2009 (5)
- October 2009 (1)
- September 2009 (3)
- August 2009 (9)
- July 2009 (12)
- June 2009 (11)
- May 2009 (12)
- April 2009 (12)
- March 2009 (10)
- February 2009 (10)
- January 2009 (11)
- December 2008 (13)
- November 2008 (12)
- October 2008 (5)
- September 2008 (8)
- August 2008 (6)
- July 2008 (8)
- June 2008 (13)
- May 2008 (11)
- April 2008 (1)

- Algebra and Number Theory Blogging Combinatorics Computer Science and Optimization Conferences Controversies and debates Convexity Convex polytopes Economics Games Geometry Guest blogger Mathematics over the Internet Mathematics to the rescue Obituary Open discussion Open problems Philosophy Physics Polymath3 Probability Quantum Rationality Taxi-and-other-stories Teaching Test your intuition Uncategorized Updates What is Mathematics Women in science

- Alex Lubotzky
- Aram Harrow
- Avi Wigderson
- Blogs
- Boolean functions
- Borsuk's conjecture
- Cap set problem
- Cap sets
- Codes
- Combinatorics
- Conferences
- Controversies
- Convex polytopes
- cryptography
- Debates
- Discrepancy
- Economics
- Ehud Friedgut
- Endre Szemeredi
- Eran Nevo
- Extremal combinatorics
- Fault-tolerance
- Frankl's conjecture
- g-conjecture
- Games
- Game theory
- Gina Says
- Greg Kuperberg
- Guy Kindler
- Helly type theorems
- Hirsch conjecture
- Influence
- Itai Benjamini
- Jean Bourgain
- Jeff Kahn
- Jerusalem
- Laci Lovasz
- Linear programming
- Mathematics to the rescue
- Mathoverflow
- Michal Linial
- Nati Linial
- Noga Alon
- Noise
- Noise-sensitivity
- Noise-stability
- Oded Schramm
- Paul Erdos
- Percolation
- Peter Frankl
- Peter Keevash
- Philosophy
- Physics
- polymath1
- Polymath3
- Polytopes
- Probability
- Quantum computation
- Quantum computers
- Quantum error-correction
- Randomness
- Roth's theorem
- Scott Aaronson
- Sex
- sunflower conjecture
- Taxi-and-other-stories
- Terrence Tao
- Terry Tao
- Test your intuition
- Tim Gowers
- Topological combinatorics
- Trees
- Turan's problem
- Tverberg's theorem
- Updates

%d bloggers like this:

Yesterday, in leading Swedish tabloid Aftonbladet (http://www.aftonbladet.se/sportbladet/spel/article14969125.ab), we learned that “Det är 15 procents chans att gå vidare till kvartsfinal, vilket nästan är en omöjlighet”. In English translation: “The chance of reaching quarter final is 15% – a near impossibility”.

Amazing…

Olle-good luck tonight!

It means that p-value is less than alpha, where alpha is an acceptable upper limit to the magnitude of type I error. In the criminal justice context, the type I error is a conviction of an innocent person.

Thanks Yosi, but what IS the value of alpha (in the criminal justice context)?

זו טעות נפוצה.

“ספק סביר” הוא רף הראיות הנדרש להרשעה.

מבלי לדעת מה היא ההסתברות האפריורית לאשמה אין לך יכולת לומר דבר על ההסתברות האפוסטריורית להרשעת שווא.

ראו: מרדכי הלפרט ובועז סנג’רו, מכֶּשֶל החלפת ההתניות להרשעה מוטעית על סמך הודאה

http://www.hezkathaput.org/SangeroHalpert2010.pdf

For the English version of this article please follow:

http://www.clb.ac.il/uploads/sangero1.pdf

without knowing anything about the prior probability of the null hypothesis you cannot say anything about its posterior probability.

See: “The Earth Is Round (p < 0.05)" http://www.citeulike.org/user/mdreid/article/2643653

I think that if you want to measure it in probabilities, we need to know how often such “events” happen. If it is in, say, data transmissions, and the probabilities you list is for the probability that a bit is flipped, then none of your options are “beyond reasonable doubt”.

Dear Trala, I mainly think about “beyond a reasonable doubt” as a legal term.

The question is of course what it actually is, and not what it should be. The introduction of DNA analysis in forensics showed the number to be much higher than what most people would have believed (or find acceptable)

http://www.theatlantic.com/magazine/archive/2007/08/innocents-in-prison/6148/ indicate

Thanks, Udi. What do you think it should be?

This is of course a question of values, but to answer it one has to estimate the tradeoff between the false positive and false negative rates. I suspect that these are very different for different crimes. For instance in ‘he said she said’ kind of crimes (like the one our beloved former president commited) I suspect that if you insist on a confidence of less than a few percent you will never convict anyone and people would be able to commit these crimes with immunity. On the other hand crimes that typically leave physical evidence (like say financial crimes) I would have liked a confidence of 0.001 or lower.

I think it should be obvious that p-value is irrelevant due to Lindley’s Paradox. Relying on p-values can lead to the conclusion that someone who is guilty with a probability of one in a million is guilty beyond reasonable doubt.

By the way, Gil, your title (and apparently the possible answers you have in mind) is about “what does *beyond* reasonable doubt mean “, whereas your question asks about “reasonable doubt”, which I guess is the complimentary.

I don’t see Lindley’s Paradox as necessarily implying that p-value is irrelevant. One can interpret this paradox as saying that the Bayesian approach is problematic due to its sensitivity to the choice of H1, the alternative hypothesis (i.e., the choice of the prior). However, there is always the issue of base rates: a person having the exact DNA sequence that was found in the crime scene and that is shared by only 1/1,000,000 of the population does not have a 1/1,000,000 probability to be innocent, especially if his name was drawn in search for a DNA match from a computer archive containing the DNA sequences of the 10M residents of the city…

בבואנו לבחון מה שיעורו של הספק הסביר עלינו להבחין בין המצוי לרצוי.

באשר למצוי, העובדה שרובם המכריע של הכרעות הדין בישראל מתבסס על הודאה (בעסקת טיעון או הודאה “וולונטרית”) ללא הליך של בירור ראיות (כ 93%, כמעט כמו בארה”ב), המשמעות היא שסף הראיות הנדרש להרשעה נמוך מאוד.

למי שחושב שממילא כל החשודים אשמים אין בעייה עם זה. אשרי המאמין.

באשר לרצוי, לדעתי יש לדרוש בירור ראיות בכל מקרה של הודאה.

במשרד המשפטים, הפרקליטות, המשרד לבטחון פנים, הנהלת בתי המשפט וכו’ סוברים אחרת.

בישיבות בוועדת החוקה, חוק ומשפט על הצעת חוק עסקאות הטיעון, נציגיהם מתנגדים אפילו להצעתו של שופט בית המשפט העליון בדימוס אליהו מצא: “לדעתי טוב יעשה המחוקק אם בגיבוש נוסחו הסופי של החוק יסמיך את בית המשפט במפורש להתנות את החלטתו, ביחס להסדר הטיעון המוגש לו, בהסכמת הצדדים להעמיד לעיונו את חומר הראיות שברשותם.” ראו: http://www.hasanegor.co.il/AllSites/263/Assets/maamar171.pdf

One interesting comment I heard was about people who were asked to answer certain yes/no questions and to indicate how certain they are about the answers. 100% certainty was a fairly common answer. Then they were further asked to estimate in how many questions where they gave 100% certainty their answer was correct. The estimates were around 80%.

Sure. We should actually be before we say such things. The standards of justice should be greater than scrutiny of medicine, because some people have the view when people with good intentions and finite resources have been allowed to revoke fundamental freedoms of individuals who were possibly innocent, the world is hardly a place suitable for civilized beings. The standard should be instead the possibility of innocence is required for freedom. How many people in this world have been unfairly punished by people with good intentions doing the best they can with limited resources and time? The same philosophy and approach relates to many other aspects of public policy, and incidentally, the funding of academic resource and questions of computer science. We must focus on positive affirmative outcomes, and processes. Our current justice system says “punish the guilty” and it needs to be saying “protect the innocent”. A system where the old “beyond a reasonable doubt” standard were replaced by a “sure of the possibility of innocence” standard for freedom would be one more fitting for the survival of human beings. The fundamental form of the approach adapted to physics, or mathematics, would help us to continue to innovate and expand out our capabilities, and improve the quality of life for all people. We are an intelligent species, but we need to listen more to anyone who wants to be heard at any time. Astrophysicists should be listening to small town car mechanics. Top universities should require open door policies for the contributions of ideas from outsiders. We require a good to better outline of our futures. If we recognize these goals and accept the responsibilities, the future will be opened to us and we will see we may be able to do things we have only dreamed of in the past, such as discovering new and exciting ways to interact with the universe, share information, and make discoveries. The solution to to the questions of computer science requires these

positive affirmative outcomes, and the same principles must be adapted to physics to continue to innovate and expand out our capabilities.