I would like to share a bit of M381 Mathematical Logic Unit-2 with you.
Every computer program can be emulated on a URM machine which has only four basic instructions: Z(n), S(n), C(m,n) and J(m,n,q). We can give these instructions a unique code as follows:
$Z(n) = 6n-3$
$S(n) = 6n$
$C(m,n) = 2^m3^n+1$
$J(m,n,q) = 2^m3^n5^q+2$
By using this scheme each URM instruction is assigned a unique code. By using these codes and the set of prime numbers it is possible to assign a unique number to every (different) URM program. I.e. to establish a bijection between the set of possible URM programs and $\mathbf{N}$
Conclusion: we can reduce any program to a single integer, and each integer represents a program! ( This conclusion is essential in understanding Goedel's Theorems )
( Do I have readers who still haven't seen Pi, the movie, directed by Darren "Black Swan" Aronofsky? In Pi Maximillian Cohen said, "numbers, everything can be represented by numbers". If every song, every movie, every picture can be mapped to a single integer so can a sequence of pictures. One of the premises in Scientology is that we store at every time unit a dump of sensory images to our memory banks ( vision, smell, sound, touch, taste and a large sequence of emotions ) which form collectively a detailed recording of our life. All our actions, visions and feelings can be represented by a unique integer as well. You know where I am getting at. )
We are numbers.
Please follow this blog
Search this blog
Thursday, February 3, 2011
Subscribe to:
Post Comments (Atom)
Popular Posts
-
Among lectures on Calculus I,II and III, ( Introduction to ) Linear Algebra and ( Introduction to ) Differential Equations from the UCCS ( ...
-
Problem: We want to calculate the sum of the elements of a list of numbers. Suppose this list is named l and has been assigned the value {1,...
-
Today I started to read the Ramanujan biography ( The e-book version, of course. ) The book looks promising. What was it like to communicate...
-
I found a set of video lectures on Abstract Algebra. MATH E-222 Abstract Algebra - http://www.extension.harvard.edu/openlearning/math222/ E...
-
Ramanujan's genius (r) was discovered by Hardy (l) At a very young age Ramanujan designed the following formula for a 3 by 3 magic sq...
Welcome to The Bridge
Mathematics: is it the fabric of MEST?
This is my voyage
My continuous mission
To uncover hidden structures
To create new theorems and proofs
To boldly go where no man has gone before

(Raumpatrouille – Die phantastischen Abenteuer des Raumschiffes Orion, colloquially aka Raumpatrouille Orion was the first German science fiction television series. Its seven episodes were broadcast by ARD beginning September 17, 1966. The series has since acquired cult status in Germany. Broadcast six years before Star Trek first aired in West Germany (in 1972), it became a huge success.)
I'm afraid I still haven't seen pi I'll put it on my DVD rental list.
ReplyDeleteNo need, check your yahoo mail.
ReplyDeletewow, I'm looking forward to this course...! This is an entirely believable result. If you consider any computer program is just a sequence of bytes, then you can combine these linearly to give one huge binary number, then this shows that every program has unique binary (and hence integer) representation!!
ReplyDeleteYes Colin, I do recommend this course!
ReplyDelete