Bifalgorithm post · Brisk · Chapter 1

What is a proof?

What is a proof? (Brisk · Chapter 1) — "A proof is essentially a chain of reasoning, in which each step can be logically deduced from the ones that preceded it…

Ideas in this flowchart

  • Una prueba es una cadena de razonamiento en la que cada paso se deduce lógicamente de los anteriores.
  • Cada paso debe estar justificado por los pasos que lo preceden.
  • La prueba expone el proceso de pensamiento para que pueda ser examinado.
  • Un paso no justificado puede quedar expuesto y hacer poco fiable la conclusión.
  • Ejemplo: se predice que la casa estará vacía al llegar del trabajo.
  • Es miércoles, y la familia normalmente va a la iglesia los miércoles por la noche.
  • La esposa suele llamar si cambia el plan.
  • El teléfono no ha sonado, por lo que se concluye que el plan no ha cambiado.
  • El reloj marca las 5:17 p. m., después de la hora habitual de salida.
  • A partir de estos datos, se concluye que la casa estará vacía al llegar.
  • La predicción depende de que varios hechos sean correctos.
  • Si el día se identificó mal y en realidad es jueves, la predicción puede fallar.
  • Si la batería del teléfono se agotó, la esposa pudo haber llamado sin lograr comunicarse.
  • Si el reloj está mal configurado y son las 4:17 p. m., la conclusión también puede fallar.
  • Como una cadena, una prueba se deshace si uno de sus eslabones no es fiable.
Feed/

What is a proof?

Channel

Brisk

1 page

"A proof is essentially a chain of reasoning, in which each step can be logically deduced from the ones that preceded it. It’s a way of putting your thought process on display so it can be scrutinized to make sure it holds water. Any step of your reasoning which was unwarranted will be exposed, and perhaps reveal that the conclusion you thought was true isn’t necessarily dependable after all. Here’s an example from everyday life. I’m driving home from work one afternoon, and I believe that my wife and children will be gone when I arrive. I’ll be coming home to an empty house. Now why do I believe this? Well, if I unravel my reasoning, it goes like this. First, today is Wednesday. On Wednesday nights, my wife and children normally go to church for dinner and service. Second, my wife likes to call me ahead of time if this plan changes. My cell phone is in my pocket, and has not rung, and so I conclude that the plan has not changed. I look at my watch, and it reads 5:17pm, which is after the time they normally leave, so I know I’m not going to catch them walking out the door. This is, roughly speaking, my thought process that justifies the conclusion that the house will be empty when I pull into the garage. Notice, however, that this prediction depends precariously on several facts. What if I spaced out the day of the week, and this is actually Thursday? All bets are off. What if my cell phone battery has run out of charge? Then perhaps she did try to call me but couldn’t reach me. What if I set my watch wrong and it’s actually 4:17pm? Etc. Just like a chain is only as strong as its weakest link, a whole proof falls apart if even one step isn’t reliable."

Flowchart preview
Series cover
👍
0
0 comments0 shares

Sign in to view and post comments.