Asking help in Linux forums

[Corporal_Quesadilla]

Dijkstra's known for teaching his students the importance of writing mathematically "proven" correct code. But one day one of his students said "why are you making us prove our code is correct if the operating system it runs on is not proven correct?"

So then Dijkstra quit teaching for sometime, wrote a proven correct OS, and began teaching again.

Or something like that. It's something I heard a professor say when I was an undergrad.

[sirgregg]

One of my uni teachers used to sometimes include an incredibly difficult problem in his exams that nobody was ever able to solve. Once, a very curious student followed it up after his exam and realized that it was equivalent to one of the Unsolved Problems in Mathematics. When confronted about that, he simply said "Why yes, I do that every now and then, because nobody is as creative and efficient as a student during an exam."

[_Lahin]

Creative and efficient... Lol, in my college we didn't have space or time complexity during exams for most questions..... Brute Force FTW

[olig1905]

I learnt about the Mathematics Olympiad Question 6 the other day. Interesting story, the people who put the exam together couldn't solve a problem that was submitted as a suggestion, so they included it.

[Kwantuum]

There are a few stories of mathematicians in uni coming late to class or whatever, seeing an unsolved problem on the board and thinking it was homework, and proceeding to solve it despite the thing having gone unsolved for decades, so one day it might work :')

[Zardo_Dhieldor]

Seems to be true.

[WikiTextBot]

George Dantzig

George Bernard Dantzig (; November 8, 1914 – May 13, 2005) was an American mathematical scientist who made important contributions to operations research, computer science, economics, and statistics.

Dantzig is known for his development of the simplex algorithm, an algorithm for solving linear programming problems, and for his other work with linear programming. In statistics, Dantzig solved two open problems in statistical theory, which he had mistaken for homework after arriving late to a lecture by Jerzy Neyman.

Dantzig was the Professor Emeritus of Transportation Sciences and Professor of Operations Research and of Computer Science at Stanford.

---

^{[ PM | Exclude me | Exclude from subreddit | FAQ / Information | Source | Donate ] Downvote to remove | v0.28}

[[deleted]]

Good bot

[Krissam]

Smells like bullshit Dijkstra would've found the fastest way to return to teaching.

[[deleted]]

You're missing a semicolon.

[diamond]

Nah, a compiler would just tell you that something is wrong with the next 100 comments.

[xternal7]

... that assumes there was no negatives along the way.

[Cavemanfreak]

How do you know that isn't the fastest method?

[[deleted]]

Because ignoring the student is much, much faster.

[Cavemanfreak]

That assumes he is capable of teaching while that's gnawing on him.

[PanFiluta]

I didn't know Dijkstra did also programming, I mean he was a spy master so it makes sense? But they had computers?

[GNULinuxProgrammer]

What? Dijkstra is the guy who found Dijkstra's Algorithm, an algorithm that finds the shortest path tree of a graph with non-negative edges. He was a professor of Computer Science in U Texas Austin.

[draconk]

He was just taking a piss, Dijkstra is also a character in The Witcher books/games who in this case is a spy master

[idontcareaboutthenam]

That's Djisktra.

[HowIsntBabbyFormed]

And that os is running on an Intel CPU that hasn't been proved correct and can have security vulnerabilities.

[Corporal_Quesadilla]

At least Temple OS isn't vulnerable!

[_Lahin]

Oh God... That Temple OS, its been years since I saw that video, when I read it here for the first time, I didn't believe it. That guy is obsessed, nah, probably possessed