15 Questions 188 Answers 0 Followers
Questions related from Juan-Esteban Palomar Tarancon
The diagonal method is built assuming that, if two figure sequences like r = 0.a₁a₂a₃... and t = 0.b₁b₂b₃..., for some n satisfy the inequality aₙ ≠ bₙ, then r ≠ t. However, this is only true...
27 April 2024 3,555 13 View
Relativity Theory states that time is not the same for all observers. Perhaps what we understand by physical time is the module ║(t1, t2..)║ of some vector t = (t1,t2...). Until we do not prove...
24 July 2016 2,267 42 View
In general programming languages, like java, C# etc. use dichotomic logic. Perhaps it is not necessary, however three-valued logic can be more expressive and will improve readability. See an...
10 January 2014 6,471 9 View
The well known proving method by "reductio ad absurdum" consists of deducing a false statement Q from a hypothesis P. Accordingly, from P => Q we obtain ~Q => ~P. Sometimes this method is extended...
10 November 2013 8,697 23 View
Recall another question, posted in RG, entitled "is there a finite definition for every real number?" If Cantor theorem is assumed, the answer is not. Now, the question is more ambitious. Perhaps...
11 July 2013 3,787 96 View
Notice that the well-known gravitational field of Sun M/d^2 works fine when calculating planet orbits. At d=0 the field becomes infinite. It is a singular point. However, we know that at d = 0 by...
12 June 2013 3,202 61 View
Firstly, l define what I mean by structure equation. The solution of an algebraic equation is a number. The solution of a functional equation is a function, for instance, differential equations....
29 May 2013 8,721 4 View
Recall that recursive definitions are those defining statements involving the defined object. The defined object can occur either explicitly or implicitly in the recursive definition. For...
02 April 2013 6,180 11 View
Consider that existence is an attribute and an attribute is a property of some entity. Perhaps "absolute nothingness" is an absurd expression.
27 October 2012 5,190 20 View
If your are asked for imagine a cathedral, since "cathedral" is an abstract noun, you must concretize it in a particular case; because no abstract concept can be illustrated by means of a picture...
18 October 2012 9,771 2 View
My claim is: science is a method, it is not doctrine. However, I'm not the one to arrogate the right to define what is and what is not science. The meaning of each term is a matter of social...
07 October 2012 5,006 13 View
Obviously, I am asking for some procedure that any human can perform easily.
25 September 2012 6,014 38 View
Notice, that if f:K --> M is an injective map which can be defined by a finite statement, then for every y in img(f) there is an x in K satisfying the relation y = f(x), which can be regarded as...
13 January 2012 940 26 View
When a computer calculates a sum, is the sum artificial or the calculating agent is? When a computer uses the relation "true-and-false = false" which is artificial the underlying logic or the...
01 January 1970 8,594 35 View
The scientific method requires identifying each object by its properties or attributes rather than by the labels someone assigns to it. Let's look at examples that illustrate this. 1) An...
01 January 1970 1,388 1 View