22 Questions 239 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,726 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,323 42 View
Let f1:ℕ⭢ℕ be the identity, that is, ∀n∈ℕ: f1(n)=n. For each n in ℕ, let fn:ℕ⭢ℕ be the map defined recursively as follows. fn(m) = fn-1(m+1) if fn-1(m) = 2fn(m+1) = fn-1(m) = 2 if fn-1(m) = 2fn(m)...
23 July 2016 3,738 5 View
Say a definition to be self-referential provided that contains either an occurrence of the defined object or a set containing it. For instance,Example 1) n := (n∈ℕ)⋀(n = n⁴)⋀(n > 0)This is a...
02 November 2015 8,542 78 View
Consider the following quotation by Pierre Boutroux (1880 - 1922): "Logic is invincible because in order to combat logic it is necessary to use logic." I would like to add that to prove logical...
31 March 2014 5,175 14 View
For low-risk prostate cancer, Cyberknife is a good device less invasive and with lower side-effects than others, like surgery. Nevertheless, it is difficult to get outcomes obtained through more...
03 March 2014 1,182 7 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,522 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,749 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,848 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,258 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,793 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,239 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,230 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,822 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,049 13 View
Obviously, I am asking for some procedure that any human can perform easily.
25 September 2012 6,059 38 View
Let P be the class of all predicates of a mathematical theory T. Say a subclass M of P to be compatible, provided that there is an object O in T satisfying the conjunction of all members of M. Say...
21 February 2012 6,897 1 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 1,020 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,647 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,439 1 View
If a robot performs an addition, is it the addition or the robot that is artificial? It may be the intelligent system that is artificial, but not the intelligence itself. It seems that they want...
01 January 1970 5,850 4 View
As long as the laws of logic are not established above all other political laws, we will be in chaos. Any irrationality will be considered truth. Russell's theorem demonstrates this. Growing...
01 January 1970 3,953 3 View