I thought this assignment is really interesting and worth posting about.
CS 245 Assignment 5 Fall 2012
Question 1 (30pt)
Let ti be a term of the form s(· · · s(0) · · ·) that represents a natural number ni written in
unary
(e.g., s(s(s(0))) represents the number 3).
• Form a set of clauses Σ such that Σ r TIMES(t1, t2, t3) whenever n1 · n2 = n3;
• Show a resolution refutation of TIMES(s(s(0), s(0), s(s(0)))) w.r.t. Σ from above;
• Is the set of terms {f (t1, t2, t3) | n1 · n2 = n3} recursive? Continue reading CS245 regarding countability decidability
Did you know there is infinity, and then there’s a bigger infinity?
This concept is quite bizarre – one would think that infinity has only one size – that is, infinite size. But this is not true. Georg Cantor, a German mathematician, proved this idea by way of contradiction. Take two infinite sizes – the natural numbers, and real numbers. Both systems are unbounded and infinite in size. It can be proved that one infinity is larger than the other. The opposite is assumed: suppose both sets of numbers have the same size of infinity. By constructing a mapping, we can take an arbitrary mapping and show correspondence. Suppose every natural number has a real partner. We pair them off. In the diagonal construction, it is shown that there exists numbers that can’t be mapped because as your mapping get arbitrarily precise, the real numbers increase still. So there will always be number left unmapped. QED.
I will be exploring into the world of holographic photography!
Otherwise known as holography. This is a technique that allows the light scattered from an object to be recorded and later reconstructed so that when an imaging system (a camera or an eye) is placed in the reconstructed beam, an image of the object will be seen even when the object is no longer present. The image changes as the position and orientation of the viewing system changes in exactly the same way as if the object were still present, thus making the image appear three-dimensional.
Wouldn’t it be cool to have a 3D photograph? It’ll just be like a picture on a newspaper from the world of Harry Potter. I think by far the easiest way to get started is to get a kit. You still need to setup everything in the kit… my idea is to figure out how this works and simplify it down to a point and shoot device. Then try to build another one. I want to create a device that allows people to easily take a holographic photo. First, I need to figure out how holographic photography really works.
This is the kit I will be invest it with. Thank you to Dr. Shodiev for letting me take a look at this. Check it out!
This is an analysis of the consequences from the OPERA experiment, which measured the speed of neutrinos to be travelling faster than light.
The OPERA experiment was an observation of muon neutrinos apparently travelling faster than light. The OPERA instrument, which stands for Oscillation Project with Emulsion-tRacking Apparatus, was used to measure the neutrinos. This was a paper published in September 2011, observing that muon neutrinos sent from CERN were travelling faster than light by a factor of roughly 1 in 40,000.
