Description:
Logic -- math, philosophy & computational aspects.
|
|
|
Regarding What's Up (Even if "It's Beginning To and Back Again")
|
| |
S. 1. Introduction. Recursive realizability as a semantics of arithmetical sentences was introduced by S. C. Kleene [18]. It can be considered as a more precise definition of the informal intuitionistic semantics using the exact no tion of a partial recursive function instead of the vague intuitionistic concept of an effective operation.... more »
|
|
|
Logic without A <-> (A <-> t) ?
|
| |
Dear All Is there a logic that does not have the following identity? A <-> (A <-> t) I think minimal logic has it, we can recast it as follows: A -> (A -> (B -> B)) A -> ((B -> B) -> A) (A -> (B -> B)) -> (((C -> C) -> A) -> A) Which are all derivable. But I wonder whether there is some logic that breaks in one of these or in the original... more »
|
|
|
Physical Set Theory
|
| |
This theory would be really a funny one, in this theory I shall omit the idea of infinity of sets, and replace with the idea of the universal finite, so this theory would simply say that a set is a collection(i.e. class) the size of which is smaller than or equal to the universal finite. I will use the theory that I have presented lastly to this Usenet,... more »
|
|
|
Strange String Manipulation Problem
|
| |
You are given a sparse 2-dimensional array of rows of columns where each cell contains 0 or 1 string. Any two strings x and y have a degree of affinity f(x,y) between 0 and 1. While there is no formal rule, we have the following examples, A3% and @! = .1 ABC and DEF12 = .5 A1B2& and 34&DE = .6 123 and 456 = .7... more »
|
|
|
Let us reduce the speed of light
|
| |
If speed of light was not so high - 300,000 km/sec, what difference would we see? Would time travel be possible? Black holes sure be forming too frequently (off course without their devastating effects, since they wont be so massive then).
|
|
|
Second Doubt
|
| |
Hello William Elliot, and everybody else. I am reading "Introduction to mathematical logic", by Elliot Mendelson, and this is my doubt: First of all I must explain: In any proof, one wf depends upon other if the first one needs the presence of the second to achieve the proof. Then it comes deduction theorem: " Assume that, in some deduction... more »
|
|
|
Ideas. A reasoned view.
 
|
| |
"Idea" is a term that is used to add interest and motivation to mundane proceedings. It is not spatial, temporal, or objectual. Because an idea is procedural, it does not exist privately or communally. As procedure itself is ineffable (against Godel), its physical, ontological vacuity is guaranteed.... more »
|
|
|
|
