Add new comment

Permalink Submitted by John Snow (not verified) on 25 January, 2023

Here are three simple questions you can ask:

1. Are you speaking the truth right now? Everyone will answer with "Yes" or the according da or bal so now you know which is which

2. Are you the random oracle speaking the truth now?

Random oracle in any case says yes. Lying oracle in any case says yes. True oracle says no

if answer no: you already got your true oracle

if answer yes: a) is Lying or Random oracle meaning b) and c) are the true oracle plus lying or random oracle. To determine which one is which ---->

3. Now asking b): are you the random oracle speaking the truth now?

true oracle will say no. Lying or random oracle will say yes.

if answer is yes: c) is the true oracle

if answer no: b) is the true oracle

About text formats

Filtered HTML

  • Web page addresses and email addresses turn into links automatically.
  • Allowed HTML tags: <a href hreflang> <em> <strong> <cite> <code> <ul type> <ol start type> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.
  • Maths in a minute

    Want facts and want them fast? Our Maths in a minute series explores key mathematical concepts in just a few words.

  • Chocolate and mayonnaise
    chocolate

    What do chocolate and mayonnaise have in common? It's maths! Find out how in this podcast featuring engineer Valerie Pinfield.

  • From clicks to chords
    icon

    Is it possible to write unique music with the limited quantity of notes and chords available? We ask musician Oli Freke!

  • The lungs of the Earth

    How can maths help to understand the Southern Ocean, a vital component of the Earth's climate system?

  • SBIDER Presents: Shining a light on COVID modelling
    icon

    Was the mathematical modelling projecting the course of the pandemic too pessimistic, or were the projections justified? Matt Keeling tells our colleagues from SBIDER about the COVID models that fed into public policy.

  • Mathematical snapshots: Daniel Kreuter

    PhD student Daniel Kreuter tells us about his work on the BloodCounts! project, which uses maths to make optimal use of the billions of blood tests performed every year around the globe.