Seek Memory: Proof

Wednesday, November 9, 2016

Proof

What's a method for ascertaining the truth?

Professor Leighton was ahead of his time when in 2010, during his lecture:

Lec 1: MIT 6.042J Mathematics for Computer Science, Fall 2010

@5:30 he said:

. . . another one is the word of your boss. Whatever the boss says is right. Often in business the customer is always right. That's the truth--whatever the customer says. Alright. You know, with Donald Trump as your boss, you better agree or you're fired. Right? Umm... Often in class, if the professor says it, it is true. . . .

O, The Stuff You'll Encounter!

Courses

Elements ← are you where this is

Exercises

Guide

Jazz

Beware The Bard

“If the subject of a Poem is obscure, or not generally known, or not interesting, and if it abounds with allusions, and facts of this improper, and uninteresting character, the writer who chuses the subject, and introduces those improper, and unaffecting allusions, and facts, betrays a great want of poetical judgment, and taste.”

—Percival Stockdale
(Radcliffe, "The Bard. A Pindaric Ode.")

The Programmer

“The programmer, like the poet, works only slightly removed from pure thought-stuff. He builds his castles in the air, from air, creating by exertion of the imagination. Few media of creation are so flexible, so easy to polish and rework, so readily capable of realizing grand conceptual structures.... Yet the program construct, unlike the poet's words, is real in the sense that it moves and works, producing visible outputs separate from the construct itself.... The magic of myth and legend has come true in our time. One types the correct incantation on a keyboard, and a display screen comes to life, showing things that never were nor could be.”

—Fred Brooks
(The Mythical Man-Month, p 7)

Pages

Wednesday, November 9, 2016

Proof

What's a method for ascertaining the truth?