4 декември 2020 г.

L. E. J. Brouwer (1881 - 1966)

(1) "It is the general philosophy and not the paradoxes that initiates the development of intuitionism."

(2) "Language can only give descriptions of mathematical activity after the fact."

(3) "Logic as the study of patterns in linguistic renditions of mathematical activity."

"Every total function is continuous and even uniformly continuous."

"It is false that every real number is either rational or irrational."

"A notion that had been present from the start, now known as that of the 'ideal (-ised) mathematician' or 'creating subject'."

(4) "Essential reference to the temporal structure of the creating subject's mathematical activity."

[Stanford Encyclopedia of Philosophy, "Luitzen Egbertus Jan Brouwer", Mark van Atten, 26 март' 2020 (link)]

Континуумът се изсмуква разпределено по гъстота към функцията, нежели (от за Ding an sich) да се проектира през аргумента, сиреч отпада понятието "граница на функция": аргументът изобщо е условието за възможността от граница на (в трансцендентално доказателство) функция (т. е. в отворен спектър), пък въобще функцията (в абсолютно представяне, трансцендентно доказателство) е условието на възможността за аргументативно точкуване (т. е. в затворен спектър).

(1') "The intuitionistic notion of mathematical truth is of a verificationist nature."

(3') "Logic always presupposes mathematics, because it is, like any exact thought, an application of mathematics." 

(2') "If a mathematical statement is explained as the linguistic expression of a fact, then the meaning of the statement is given by its proof."

(0) "Posing a mathematical problem is not the same as making a mathematical assertion, and this difference allows for an understanding of implications whose antecedent has not been established." 

(4') "Any psychological interpretation of intuitionism is incorrect."

[Stanford Encyclopedia of Philosophy, "The Development of Intuitionistic Logic", Mark van Atten, 8 ноември' 2017 (link)]  

Абсолютното (интуитивният абсурдно факт*) представяне е относително опровержимо в затвърждаване на вярата
----------
* Чистият интелектуално факт олеква синтетично в интуитивен тавтологично факт ("Brouwer never discussed Bergson").

[Цитатите взех от статиите на Van Atten, не от Brouwer]  

4 дек.' 2020. Брауер: велик, по-велик от Шопенхауер, въпреки че отявлено се опира на него.