Description:
Logic -- math, philosophy & computational aspects.
|
|
|
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 »
|
|
|
Objects. A reasoned view.
|
| |
"Object" is an idea that was invented to make our ideas appear unchanging and certain, even immortal. But we can dispense with the idea of Objects, and see ideas anew. For example, look at the objects we call "brain" and "nose". We like to think these have certainty and substance. But they are inventions. We... more »
|
|
|
|
