Un ami dans leur a compté
quelque chose impressionnant.
Depuis très jeune et même avant
de s'il gradue dans physique, il
se développait des recherches
dans initiation scientifique et
s'intéressait à des questions
liées à fondements de la
physique, et à la logique
mathématiques. Il a continué
leurs études dans Logique et
Philosophie de la Science dans le
programme de pós-graduação
de l'Institut de Philosophie et
Sciences Humaines, de Université
De l'état de Paysannes, en
entrant dans le champ de la
Théorie de Il prouve. Son projet
était prouver un proposition de
Dag Prawitz, de la " ; École
Scandinave de Théorie du
Prova" ; , appelé " ; Théorème
de normalisation simple pour la
Logique Classique de première
classe completa" ;. Dans sa thèse
de doutorado, de " ; Preuves de
normalisation pour la Logique
Clássica" ; , défendue dans le
même Institution dans 1990, a
supposé le problème proposé
par Per Martin Löf, qui consiste à
définir un concept de " ; pire
séquence de redução" ; pour
dérivations. Avec ce travail, qui
lui a valu prix Santista Jeunesse a
réussi prouver que, si la pire
séquence de réduction finit, alors
toutes des séquences finissent
dans seule forme normale. Tu
devez être si en interroger : «
que vient à être tout cela ? Je n'ai
pas compris absolument rien ! »
Mais ce a été exactement cela
que dans il a impressioné dans
l'histoire de cet ami. Il était
profond studieux et connaisseur
de la théorie de la preuve, un
secteur spécifique de la logique
mathématique, mais a décidé de
laisser tout cela de côté. Et il sait
pourquoi ? Bien, parce qu'il
sentait beaucoup difficulté à
diviser leurs connaissances avec
quelqu'un, donc peu de
personnes connaissaient ce
secteur. « Alors », nous
comptait, « ai laissé de côté
cette matière parce qu'il
connaissait seulement un cinq
personnes avec qui pouvait
parler sur le sujet, et certaines
d'elles vivaient excepté du
Brésil. Je sens nécessité de
partager mes idées », a conclu le
philosophe. L'être humain a
nécessité de diviser leurs
sentiments avec quelqu'un. Par
plus heureux que lui est, si non il
y aura personne pour ne pas
partager, bonheur ne fait pas
raisonnable. De qu'a valu une
grande conquête, sans que dans
il les étreigne et dans il dise :
« félicitations, tu a gagné ! » ? De
qu'il avance sentir un grand joie
s'il n'a personne pour savoir de
cela ? Il ne fait pas raisonnable
sourire, s'il n'a pas quelqu'un
pour rire avec nous. Quand nous
voyons un film et quelque chose
dans appelle l'attention, ensuite
nous voulons parler sur cela,
compter pour quelqu'un, même
que celui-là quelqu'un est un
méconnu. Enfin, le bonheur et le
malheur sont des états d'âme
pour être partagés. Sans
quelqu'un diviser avec nous nos
joies et tristesses, la vie reste
sans aucun sens. Ce a été donc
que le jeune mathématicien a
décidé de laisser de côté ce
secteur de la logique et traiter
de sujets qui pouvaient partager,
changer des idées, discuter.
C'est vérité qui existent des
secteurs de connaissance
humaine avec laquelle de rares
missionnaires supposent
engagement d'étudier et
découvrir moyens de torná- los
utiles à humanité. Mais même
ces illustres des missionnaires ne
cessent pas sentir, fois ou autre,
la nécessité de partager leurs
découvertes avec quelqu'un. Au
défaut qui les entende, c'est bien
possible que la dépression leur
fasse société. Encore ainsi ils si
décident par l'isolement, par
l'amour à la cause ils qu'ont
supposé devant leur propres
consciences et par le bien de
leurs semblables. Il pense dans
cela ! Sans quelqu'un partager,
non il y aurait des accolades, ni
des compressions de mains, ni
échange d'idées… Il n'aurait pas
comment diviser les peurs, les
désirs ardents, les rêves, les
joies… Les personnes qui vivent
isolées, ils entrent dans de
profondes dépressions, ils
perdent la vitalité et la volonté
de vivre… Il pense dans cela et,
aura avec qui, il partage leurs
expériences. Il découvre l'art de
partager et il percevra que la vie
lui montrera un coloris tout
spécial.