Readit News logoReadit News
ehudla · 8 years ago
My implementation of M-I-U, more than 30 years ago, as a kid, in Turbo Pascal.

https://github.com/ehud/MIU

jaytaylor · 8 years ago
That's really cool and impressive that you saved it for so long! Clean code, too :)
ehudla · 8 years ago
Thanks. It is a miracle something survived on those floppies, let alone computer deaths... The directory they are under is called "Y2K Backup\MYFILES\Ancient Pascal Disk 3"...
ac0kg · 8 years ago
Cool, compiles and runs in Turbo 7 under DOSBox.

http://imgur.com/a/V7BAD

ehudla · 8 years ago
I was asked how to install Pascal now, but I have no idea. I suspect the code relies on DOS and Turbo Pascal too much to run now without jumping through some hoops.
pjmlp · 8 years ago
I had a quick look through it, you might be able to run it with FreePascal.

http://www.freepascal.org/

mixmastamyk · 8 years ago
Didn't the original PC have lowercase? I thought I programmed TP in mixed-case, but can't remember.
pjmlp · 8 years ago
Pascal wasn't case sensitive, so it was mostly a matter of style.

On Modula-2 and Oberon languages and their descendants keywords are uppercase and the languages are case sensitive.

But you could anyway write in lowercase and let the editor format the code for you, no need for banging the shift key all the time. :)

Actually I kind of like having keywords as uppercase, it means on a poor man's teletype or modern black-and-white printer without formatting, it is easier to spot the keywords versus the rest of code.

defined · 8 years ago
I definitely programmed TP 1.0 in mixed case on a TRS-80 Model II running CP/M.
intrasight · 8 years ago
For those not in the know, the first book ever bought from Amazon was Douglas Hofstadter's "Fluid Concepts and Creative Analogies : Computer Models of the Fundamental Mechanisms of Thought"
gech · 8 years ago
Did he get that right or do neuroscientists dispute his models?
intrasight · 8 years ago
Most neuroscientists don't try to tackle such philosophical topics, unfortunately.
sirodoht · 8 years ago
Here is an introduction to the MIU formal system for someone who hasn't read GEB.

https://sirodoht.xyz/blog/the-miu-formal-system/

DanielRibeiro · 8 years ago
Thanks for sharing. This is also a nice answer to the MU puzzle, mentioned at the end of the article: https://en.wikipedia.org/wiki/MU_puzzle
pge · 8 years ago
On a related note, if you are interested in learning more about Godel and the Incompleteness Theorem and its significance, I recommend the book Incompleteness by Rebecca Goldstein.
Y_Y · 8 years ago
I remember doing this with pen and paper ages ago when I read the book. Somehow it clicked with me a lot better than my Abstract Algebra lectures.
tluyben2 · 8 years ago
I did that too; I remember the squares paper in the book. I see it in front of my eyes still. Good memories at some Portugal vacation with my parents in the 80s.
alexprengere · 8 years ago
Author here! Thanks for the post :)
tdumitrescu · 8 years ago
Here's some more Python related to the book (by a coworker):

https://github.com/Quuxplusone/TNT

gergoerdi · 8 years ago
I once did an introductory talk to Agda that was structured around solving the MU problem, i.e. proving that MU is not derivable in MIU: https://unsafePerform.IO/projects/agda/sg-meetup/SGMeetup.pd... (the MIU bit starts in Part III, slide 46)