Christian Lawson-Perfect
Follow

eugh, now I have to prove this algorithm is correct :turing:

@christianp If the proof wasn't developed alongside the algorithm, that's really, really hard. When I was faced with that I often worked on it for a bit, then gave up and derived the algorithm from the ground up with its proof, often finding bugs along the way.

It's been a long time since I did that, though.

Sign in to participate in the conversation
Mathstodon

A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.

Use \( and \) for inline LaTeX, and \[ and \] for display mode.