+1 pouco da história aviação no Brasil 2016/08/31
Posted by gsavix in airbus 300, varig, vasp, aviação brasileira anos 70,, Memorando.Tags: airbus a300, varig, vasp
comments closed
regras de inferência – auto aprendizado 2016/08/11
Posted by gsavix in aprendizado, axiomas, demonstração regras de inferência, método axiomático, Memorando, open source computer, rexx, sistema hipotético dedutivo, Sistemas Computacionais.Tags: práticando rexx
comments closed
São Paulo, 11 de agosto de 2016
gsavix@gmail.com
Partindo do programa animal.rex que está disponível no link
Caso queira acionar o mode depurar (debug) basta inserir na
Linha 3 do programa o comando trace r
Para fazer trace dos resultados de cada linha do programa animal.rex
Vamos entender um exemplo básico de aprendizado de regras de inferência, bem rudimentares apenas para entendermos o que isso é.
passo 1 – baixar e descompactar o arquivo regina rexx do link ao lado
https://sourceforge.net/projects/regina-rexx/files/regina-rexx/3.9.1/Regina391w32.zip/download
em nosso exemplo estamos descompactando o arquivo zip para a pasta
C:\d16down\Regina391w32
C:\d16down\Regina391w32>dir
26/01/2001 08:12 25.842 COPYING-LIB 06/04/2015 19:42 23.782 de.mtb 11/08/2016 12:56 <DIR> demo 11/08/2016 12:56 <DIR> doc 06/04/2015 19:42 20.875 en.mtb 06/04/2015 19:42 23.683 es.mtb 11/08/2016 12:56 <DIR> include 11/08/2016 12:56 <DIR> lib 06/04/2015 19:42 20.925 no.mtb 06/04/2015 19:42 22.822 pl.mtb 06/04/2015 19:42 22.677 pt.mtb 04/04/2015 15:18 255 README391.txt 06/09/2012 14:27 7.576 READMEW32.txt 05/04/2015 09:46 525.312 regina.dll 05/04/2015 09:46 39.424 regina.exe 04/04/2015 18:25 223.232 regutil.dll 05/04/2015 09:46 459.776 rexx.exe 05/04/2015 09:46 84.480 rxqueue.exe 05/04/2015 09:46 115.712 rxstack.exe 06/04/2015 19:42 22.602 sv.mtb 06/04/2015 19:42 26.194 tr.mtb 17 arquivo(s) 1.665.169 bytes
passo 2 – windows deve localizar arquivo Regina rexx executável
através do painel de controle da linha de comando adicionar a pasta onde está o regina391w32 na variável %path%
set %path%=%path%;C:\d16down\Regina391w32
pronto isso fará com que o windows consiga executar o comando rexx ou regina
em seu computador
passo 3 – vá para diretório onde está o pgm animal.rex em português
cd c:\d16down\animal\
execute o programa animal rexx através do comando
C:\d16down\animal\rexx animal.rex
============================================
| Programa animalptbr.rexx |
| Por motivos diversos recomendamos |
| Nao usar caracteres acentuados |
| apenas caracteres ascii e numeros |
| responda S para sim |
| responda N para nao |
| responda caracteristica ou nome do animal |
| responda nome de arquivo para salvar |
=============================================
Pensando em elefante?
n
HHHMMM, Pensando em …?
gato
Qual pergunta permite diferenciar entre gato e elefante:
mia
Qual resposta (S ou N) para gato?
s
Continuar deduzindo (S ou N)?
n
Informe arquivo para salvar (deixar em branco para NAO salvar!)?
conhece
C:\d16down\animal>dir
11/08/2016 12:26 <DIR> .
11/08/2016 12:26 <DIR> ..
11/08/2016 12:27 46 conhece
1 arquivo(s) 46 bytes
C:\d16down\animal>type conhece
BASE=”mia”
BASE.S=”gato”
BASE.N=”elefante”
passo 4 – veja como ficou o conteúdo do arquivo conhece, acima.
apenas para garantir, faça um backup/copia do arquivo conhece para conheceb1
C:\d16down\animal>copy conhece conheceb1
1 arquivo(s) copiado(s).
C:\d16down\animal>dir
O volume na unidade C é brzdc7900_C
O Número de Série do Volume é EA78-F732
Pasta de C:\d16down\animal
11/08/2016 12:32 <DIR> .
11/08/2016 12:32 <DIR> ..
11/08/2016 12:24 2.800 animal.rex
11/08/2016 12:27 46 conhece
11/08/2016 12:27 46 conheceb1
3 arquivo(s) 2.892 bytes
passo 5 – vamos agora reexecutar o programa animal.rex
porem usando a base de conhecimento conhece. perceba que a primeira pergunta
é diferente, ou seja o sistema leva em conta o conhecimento encontrado.
C:\d16down\animal>rexx animal.rex conhece
============================================
| Programa animalptbr.rexx |
| Por motivos diversos recomendamos |
| Nao usar caracteres acentuados |
| apenas caracteres ascii e numeros |
| responda S para sim |
| responda N para nao |
| responda caracteristica ou nome do animal |
| responda nome de arquivo para salvar |
=============================================
mia
n
Pensando em elefante?
n
HHHMMM, Pensando em …?
cachorro
Qual pergunta permite diferenciar entre cachorro e elefante:
late
Qual resposta (S ou N) para cachorro?
s
Continuar deduzindo (S ou N)?
s
mia
n
late
s
Pensando em cachorro?
s
Legal!!!
Continuar deduzindo (S ou N)?
n
Informe arquivo para salvar (deixar em branco para NAO salvar!)?
conhece
C:\d16down\animal>type conhece
BASE=”mia”
BASE.S=”gato”
BASE.N=”late”
BASE.N.S=”cachorro”
BASE.N.N=”elefante”
passo 6 – veja como ficou o conteúdo do arquivo conhece
agora com gato, cachorro, veja que do elefante ainda não sabemos nada, mas
deduzimos que não late, nem mia.
passo 7 – vamos executar o animal.rex partindo dessa base
Vamos adicionar um rato aí mesmo, veja que rexx e regina nesse caso são sinônimos
C:\d16down\animal>regina animal.rex conhece
============================================
| Programa animalptbr.rexx |
| Por motivos diversos recomendamos |
| Nao usar caracteres acentuados |
| apenas caracteres ascii e numeros |
| responda S para sim |
| responda N para nao |
| responda caracteristica ou nome do animal |
| responda nome de arquivo para salvar |
=============================================
mia
n
late
n
Pensando em elefante?
n
HHHMMM, Pensando em …?
rato
Qual pergunta permite diferenciar entre rato e elefante:
roe
Qual resposta (S ou N) para rato?
s
Continuar deduzindo (S ou N)?
s
mia
n
late
n
roe
s
Pensando em rato?
s
Legal!!!
Continuar deduzindo (S ou N)?
n
Informe arquivo para salvar (deixar em branco para NAO salvar!)?
conhece
C:\d16down\animal>type conhece
BASE=”mia”
BASE.S=”gato”
BASE.N=”late”
BASE.N.S=”cachorro”
BASE.N.N=”roe”
BASE.N.N.S=”rato”
BASE.N.N.N=”elefante”
passo 8 – veja acima como está nossa base de conhecimento com o rato.
Captou a lógica inerente a esse programa de inferência.
animal.rex traduzido para português do brasil pt_BR 2016/08/11
Posted by gsavix in aprendizado, programas autonômicos, regras de inferência, rexx.Tags: linguagem rexx
comments closed
/* adaptado por gsavix@gmail.com */
/* agosto 2016 */
parse arg infile .
say ‘============================================’
say ‘| Programa animalptbr.rexx |’
say ‘| Por motivos diversos recomendamos |’
say ‘| Nao usar caracteres acentuados |’
say ‘| apenas caracteres ascii e numeros |’
say ‘| responda S para sim |’
say ‘| responda N para nao |’
say ‘| responda caracteristica ou nome do animal |’
say ‘| responda nome de arquivo para salvar |’
say ‘=============================================’
if infile\=” then
do while lines(infile)>0
interpret linein(infile) ;
end
else
base = ‘elefante’
do until left(answer,1) = ‘N’
where = ‘BASE’
finished = 0
do while finished = 0
if symbol(where’.S’)=’VAR’ then do
say value(where)
pull answer
if left(space(answer),1) = ‘N’ then
where = where’.N’
else
where = where’.S’
end; else do
finished = 1;
say ‘Pensando em ‘value(where)’?’
pull answer
if left(answer,1) = ‘S’ then
say ‘Legal!!!’
else do
say ‘HHHMMM, Pensando em …?’
parse pull newanimal
say ‘Qual pergunta permite diferenciar entre ‘newanimal’ e ‘,
value(where)’:’
parse pull quest
say ‘Qual resposta (S ou N) para ‘newanimal’?’
pull answer
answer = space(answer)
if left(answer,1) = ‘S’ then do
interpret where’.N =’ where
interpret where’.S = newanimal’
interpret where ‘= quest’
end; else do
interpret where’.S =’ where
interpret where’.N = newanimal’
interpret where ‘= quest’
end
end
end
end
say ‘Continuar deduzindo (S ou N)?’
pull answer
answer = space(answer)
end
say ‘Informe arquivo para salvar (deixar em branco para NAO salvar!)?’
parse pull filename
if filename\=” then do
call lineout filename,, 1
signal on notready
call dump ‘BASE’
end
exit 0
dump: procedure expose filename base base.
parse arg arg
if symbol(arg)=’VAR’ then do
call lineout filename, arg’=”‘insulate(value(arg))'”‘
call dump arg’.S’
call dump arg’.N’
end
return ;
insulate:
parse arg string
pos = -1
do until pos=0
pos = pos(‘”‘, string, pos+2)
if (pos>0) then
string = left(string,pos-1) || ‘””‘ || substr(string,pos+1)
end
return string
notready:
say ‘erro salvando arquivo. processo encerrado.’
exit 1
como instalar python sphinx 2016/07/26
Posted by gsavix in Memorando.comments closed
Microsoft Windows [versão 6.1.7601] Copyright (c) 2009 Microsoft Corporation. Todos os direitos reservados. C:\Users\usradm>python -V Python 2.7.12 C:\Users\usradm>pip install sphinx Collecting sphinx Downloading Sphinx-1.4.5-py2.py3-none-any.whl (1.6MB) 100% |################################| 1.6MB 183kB/s Collecting imagesize (from sphinx) Downloading imagesize-0.7.1-py2.py3-none-any.whl Collecting Jinja2>=2.3 (from sphinx) Downloading Jinja2-2.8-py2.py3-none-any.whl (263kB) 100% |################################| 266kB 284kB/s Collecting docutils>=0.11 (from sphinx) Downloading docutils-0.12.tar.gz (1.6MB) 100% |################################| 1.6MB 196kB/s Collecting babel!=2.0,>=1.3 (from sphinx) Downloading Babel-2.3.4-py2.py3-none-any.whl (7.1MB) 100% |################################| 7.1MB 86kB/s Collecting six>=1.4 (from sphinx) Downloading six-1.10.0-py2.py3-none-any.whl Collecting colorama>=0.3.5; sys_platform == "win32" (from sphinx) Downloading colorama-0.3.7-py2.py3-none-any.whl Collecting Pygments>=2.0 (from sphinx) Downloading Pygments-2.1.3-py2.py3-none-any.whl (755kB) 100% |################################| 757kB 240kB/s Collecting snowballstemmer>=1.1 (from sphinx) Downloading snowballstemmer-1.2.1-py2.py3-none-any.whl (64kB) 100% |################################| 71kB 287kB/s Collecting alabaster<0.8,>=0.7 (from sphinx) Downloading alabaster-0.7.9-py2.py3-none-any.whl Collecting MarkupSafe (from Jinja2>=2.3->sphinx) Downloading MarkupSafe-0.23.tar.gz Collecting pytz>=0a (from babel!=2.0,>=1.3->sphinx) Downloading pytz-2016.6.1-py2.py3-none-any.whl (481kB) 100% |################################| 481kB 235kB/s Installing collected packages: imagesize, MarkupSafe, Jinja2, docutils, pytz, babel, six, colorama, Pygments, snowballst emmer, alabaster, sphinx Running setup.py install for MarkupSafe ... done Running setup.py install for docutils ... done Successfully installed Jinja2-2.8 MarkupSafe-0.23 Pygments-2.1.3 alabaster-0.7.9 babel-2.3.4 colorama-0.3.7 docutils-0.1 2 imagesize-0.7.1 pytz-2016.6.1 six-1.10.0 snowballstemmer-1.2.1 sphinx-1.4.5 C:\Users\usradm>
Tchau Querida! 2016/05/01
Posted by gsavix in Memorando.Tags: brasil ame-o, brasil deixe-o, brasil fora dilma, dilma seus eleitores não te querem, impeachment, impedimento presidencial, não é golpe não, o pt precisa de você, renuncia, sai da frente, vai para casa dilma
add a comment
Na boa presidente Dilma, peça para sair.
Modernização Linha Produção 2015/02/17
Posted by gsavix in axiomas, moderinização linha produção.Tags: boeing 747
add a comment
Quando buscamos informações para entender o que a indústria nacional tem feito para modernizar seus processos de produção, não é nada fácil encontrar uma lista das principais modernizações, melhorias ou inovação que está entre as palavras da moda, como assim como sustentabilidade.
A primeira ideia que vem buscamos no ministério do desenvolvimento, industria e comércio http://www.mdic.gov.br
A segunda é buscar no site do senai, http://www.portaldaindustria.com.br parece que conseguimos ver mais em detalhes exemplos do que estamos falando.
Apenas para ilustrar como os procedimentos básicos são aqueles que realmente promovem a melhoria contínua tão esperada para que toda a indústria, a indústria colaborativa e não só aquela que está a serviço do capital financeiro.
Parece uma ironia mas vamos dar uma olhada nesse pequeno filme da Boeing que ilustra isso:
http://bcove.me/c9b5kysg
Arduino e ProtoBoard 2014/09/16
Posted by gsavix in computador portátil, hardware open source, open source computer, placa circuito eletrônico, plug computer.Tags: aprender eletrônica, aprender lógica, aprender programação, arduino, circuito eletrônico open source, hardware opensource
add a comment
Arduino
Arduino é uma plataforma open-source composta por hardware e software que tem por base uma placa (board) de i/o e um ambiente (ide) que utiliza uma linguagem de Processamento (muito similar aos comandos da linguagem C. Arduino pode ser usado para desenvolver objetos que interagem de maneira stand-alone ou interativa e pode comunicar-se com o seu computador através de portas seriais, usb, wifi etc. Arduino pode ser comprado já montado ou comprar os componentes eletrônicos e você mesmo montar, soldar ou então em um protoboard você montar diretamente uma placa “monstrengo”.
O IDE, ambiente de desenvolvimento composto por editor de texto, exemplos, bibliotecas, questões frequentes, gravação de flash, MaxMSP.
Para mais informações veja o sítio eletrônico:
Veja o fórum em:
Para relatar erro no software ou sugerir melhorias utilize a url:
http://github.com/arduino/Arduino/issues
Para requerimentos mais complexos ou discussões técnicas cadastre-se na lista de correio eletrônico:
https://groups.google.com/a/arduino.cc/forum/#!forum/developers
Se há interesse em modificar, estender o software Arduino, recomentamos sugerir suas ideias na lista dos Desenvolvedores and de iniciar seu trabalha. Isso aumentará as chances de que suas contribuições possam ser incorporadas na versão oficial que está no forum https://groups.google.com/a/arduino.cc/forum/#!forum/developers
O que é streamer ou GStreamer 2013/09/21
Posted by gsavix in fonologia, mídia, Memorando, streaming de media pela web, vlc player para web.Tags: camera hd, camera ip, como usar um dvr para transmitir em tempo real streaming, publicar mídia na internet, radio sobre ip, servidor transmissão rádio, tcp/ip para rádio, tcp/ip para tv em tempo real, transmissão conteúdo, transmissão em tempo real, transmissão mídia, transmissão rádio pela web, tv pela web
comments closed
GStreamer é um “framework” ou módulo para desenvolvimento de aplicações que lidam streams multimedia, como áudio e vídeo.
Foi escrito em linguagem C e é baseado em GObject. O GStreamer fornece o serviço de multimídia dos alicativos (software), como tocatores, editores de vídeo, streaming de mídia e mídia players e em conjunto com um bom servidor de web permite que você ouça e assista em tempo real a uma transmissão que pode ser originada em uma camera ip ou em uma camera de alta resolução (High Definition). GStreamer é multiplataforma, sendo possível utilizá-lo sobre Linux (x86, PowerPC e ARM), Solaris (x86 e SPARC), Mac OS X, Microsoft Windows e OS/400 ou até mesmo em aplicativos executados em main-frame.
GStreamer é software livre, licenciado sob GNU GPL.
O ambiente de desktop GNOME é o utilizador original da tecnologia GStreamer, sendo incluído desde a versão 2.2. GStreamer também é utilizado em dispositivos embarcados, dispositivos móveis como seu tablet ou celular.
GStreamer utiliza uma arquitetura de plugins que faz com que o GStreamer funcione com as mais diversas bibliotecas e protocolos de mídia, como MP3, MP4, FLV, OGG (padrão aberto escolhido pelo HTML5) e usado pelo youtube e outros principais provedores.
Existem interfaces com diversas linguagens de programação como Python, C++, Perl, Ruby, etc.
Um grupo de vanguanda que cuida do desenvolvimento e evolução de interfaces Gráficos, chamado KDE, expandiram conceitos de streamer de mídia e criaram o Phonon, um “wrapper” para diversos frameworks, incluindo GStreamer1.
abaixo incluo o manual vigente em setembro de 2013 com alguns conceitos e referências sobre gstreamer.
Lendo Euclides por Beppo Levi 2013/09/03
Posted by gsavix in ciência colaborativa, civilização, colaboração na aquisição conhecimento, Conhecimento, conhecimento física, Conhecimento para receber ou transferir tecnologia, construtores de documentação, gerador documentos, máxima matemática, Memorando, metodologia para receber ou transferir conhecimento, morfologia, notícias interesse público, publicação jornal internet, semântica, sintaxe, sistema hipotético dedutivo, sociologia do conhecimento.add a comment
A matemática e a geometria sob um olhar renovador.
Editora Civilização Brasileira – Rio de Janeiro – 2008
(um selo da editora record ltda)
Tradução do espanhol (Leyendo a Euclides)
Ao publicar sua monumental obra Elementos, Euclides de Alexandria (360 a.C. a 295 a.C.), criador da geometria euclidiana, tornou-se o mais importante matemático da Antiguidade greco-romana e talvez de todos os tempos.
A obra abrange toda a aritmética, a álgebra e a geometria conhecidas até então no mundo grego, sistematiza o conhecimento geométrico dos antigos e intercala os teoremas já conhecidos com a demonstração de muitos outros, que completam lacunas e dão coerência e encadeamento lógico ao sistema que ele criou.
Em Elementos, Euclides introduziu o formato (ou método) axiomático, que é, em grande medida, o paradigma do modo de operar da razão matemática. Seus axiomas cristalizaram uma estética quase imperativa para essa razão: a estética do equilíbrio delicado entre simplicidade e alcance, entre o mínimo de pressupostos e o máximo de consequências deriváveis. A genialidade do modelo euclidiano reside em que a partir de noções elementares como ponto, reta, círculo e juntamente com apenas cinco axiomas, é possível desenvolver análises que abrangem toda a geometria clássica.
Beppo Levi escreveu “Lendo Euclides” em 1947, e já nesta época era reconhecido na comunidade científica como alguém que formulou as bases do ensino claro e do respeito pela investigação científica, na qual deve prevalecer o rigor lógico. Seu objetivo era atrair a atenção dos leitores não matemáticos para o estudo dos conceitos fundamentais da geometria e da filosofia por meio da reflexão e da análise cuidadosa de Elementos. Neste livro não é o matemático profissional quem escreve, mas o estudioso que transmite sua paixão pela matemática, pela história e pela filosofia. Ao fazer essa leitura e vem a tona a reflexão de um diálogo que atravessa mais de vinte e dois séculos e permite aprender Euclides com olhos modernos. Os leitores terão a oportunidade de reaprender a geometria pelas mãos de um célebre matemático.
Beppo Levi nasceu em Turim, na Itália, em 1875. Doutorou-se em 1896, com apenas 21 anos e a partir de 1906 foi professor nas universidades de Cagliari, Parma e Bolonha. em 1938, devido à perseguição anti-semita do regime fascista de Mussolini, teve de emigrar com sua família. estabeleceu-se na cidade de Rosario, na Argentina, onde viveu até sua morte em 1961. Lá fundou o Departamento de Matemática da Universidad Nacional del Litoral – que hoje leva seu nome – e influenciou na formação de grandes cientistas argentinos.
Euclides dois mil anos depois
Entre diversas coisas, conjecturou e demonstrou que existem infinitos números primos (indivisíveis). Ganhou a vida dando aulas de matemática a curiosos, desejosos de aprender para saber, não para fazer. Conta a tradição que quando um aluno novato lhe perguntou que proveito material poderia obter com o estudo da matemática, Euclides teria chamado seu escravo e lhe teria dito: “Dê uma moeda de ouro a esse infeliz, já que ele pensa que deve ganhar para aprender”.
É muito possível que Euclides tenha estado conectado com o Museu de Alexandria, visto que nesse instituto estatal de investigações científicas e humanísticas se havia congregado a flor e a nata da intelectualidade da época. Os pesquisadores do Museu recebiam salários do tesouro real para produzir conhecimentos que raras vezes tinham aplicação prática. Só formavam e proviam cérebros curiosos e engenhosos, a começar pelos próprios. Quantos estadistas do nosso século entendem que o conhecimento básico é o mais útil, por ser utilizável em múltiplos campos?
A principal obra de Euclides, intitulada Elementos, é o livro antigo mais estudado da História. Reúne e sistematiza os conhecimentos geométricos de seu Tempo. Por isso já se disse que Euclides não foi original: apenas compilou invenções alheias. Os que repetem essa tese desconhecem que Euclides construiu a primeira teoria propriamente dita registrada pela História, o sistema Hipotético-Dedutivo. Antes dele, a matemática era um amontoado de resultados soltos; a partir dele, foi se convertendo em um conjunto de sistemas relacionados entre si.
Euclides introduziu explicitamente o formato (também chamado método) axiomático, que consiste em começar listando os conceitos básicos e os postulados – ou seja, ideias não deriváveis de outras ideias no mesmo sistema – e derivar (definir ou deduzir) os demais a partir deles.
A axiomática serve de parâmetro para a organização racional e econômica de qualquer corpo de conhecimentos, sejam matemáticos, físicos, econômicos, filosóficos ou outros. Spinoza, por exemplo, a utilizou em sua grande obra “Ética”. Hoje, os filósofos a empregam para esclarecer, sistematizar e provar ideias em qualquer ramo da filosofia.
David Hilbert, no final do século XIX, exaltou e advertiu para as virtudes da axiomática. Utilizou-a em matemática e em física, e a tornou seu cânone (Hilbert, 1918). Entre estas virtudes figuram as seguintes:
– economia
– aceleração da dedução
– facilitação do exame de coerência lógica
– esclarecimento de suposições
– individualização dos conceitos básicos ou primitivos (definidores) e busca de fundamentos cada vez mais profundos.
Essas virtudes tornam quase plausível a anedota segundo a qual Blaise Pascal, aos 14 anos, teria reconstruído por sua própria conta a maior parte da geometria euclidiana a partir de seus postulados.
No entanto, o método axiomático pode enganar, ao sugerir que basta um sistema de axiomas para deduzir todos os teoremas em um campo definido. De fato, salvo nos casos das consequências imediatas (corolários), é preciso agregar suposições, tais como construções, exemplos ou lemas (proposições tomadas de campos fronteiriços). Por exemplo para provar que a soma dos ângulos internos de um triângulo é igual a dois ângulos retos, convém começar traçando uma reta paralela a um dos lados. Outros teoremas euclidianos requerem outras construções (ad hoc) mais ou menos engenhosas. Talvez por esse motivo Einstein, já famoso e sempre muito ocupado, tenha se dado ao trabalho de escrever uma carta ao psicólogo Wertheimer expondo duas provas diferentes do teorema geométrico do antigo Menelau. [minha anotação: também Einstein trabalhando por muitos anos no escritório de patentes na Suiça, deve ter visto, lido, analisado centenas de tratados, teoremas, ideias, roteiros, etc].
Isso, junto com sua sistemática e seu rigor lógico, faz com que o estudo da geometria euclidiana seja possivelmente mais formativo do que o da geometria analítica ou o do cálculo infinitesimal. Essas teorias possuem algoritmos (regras) que podem se aplicar uniformemente e, em muitos casos, mecanicamente. Esse, além da inércia secular, é um dos motivos que os Elementos se tornou um dos livros mais difundidos em todo mundo durante dois milênios. Seu estudo exige tanto engenho e empenho quanto rigor. Forma tanto matemáticos quanto advogados.
A lógica da geometria de Euclides, em particular sua sistemática e coerência, continua suscitando admiração. Não causa surpresa que um matemático moderno como Beppo Levi lhe tenha dedicado um estudo profundo ainda que sem a carga erudita habitual. Nem é de se estranhar, também, que este livro do matemático ítalo-argentino desperte a curiosidade de leitores contemporâneos.
Beppo Levi (1875-1961) foi um matemático tão versátil como distinto. Mesmo tendo trabalhado principalmente com geometria algébrica, fez importantes incursões em outros campos, tais como a análise matemática, a teoria dos números, a teoria dos conjuntos, a lógica e a dialética da matemática. Semelhante universalidade é inconcebível hoje em dia, em parte porque se sabe muitíssimo mais, em parte porque se superestimam a especialização, sem reparar que as fronteiras entre as disciplinas são, em grande medida, artificiais.
Afirma-se que, entre 1897 e 1909, Levi participou ativamente em todos os novos desenvolvimentos da matemática da época (Schappacher e Schoof, 1996). Seu nome aparece associado, direta ou indiretamente, aos nomes de quase todos os grandes matemáticos de seu tempo, entre outros, Hilbert, Lebesgue e Poincaré. Além disso suas contribuições pertencem à pré-história de vários ramos da matemática que emergiram depois de Levi.
Entre outras coisas, Levi talvez tenha sido o primeiro a formular explicitamente e a criticar o axioma da escolha, usualmente atribuído a Zermelo (Moore, 1982). Descobriu que estava sendo utilizado tacitamente em muitas demonstrações matemáticas (tal axioma continua sendo motivo de estudos). Mas Levi é bem mais conhecido pelo lema que leva seu nome, e que se refere a integrais de sucessões monótonas de funções. Também é conhecido por seu estudo, mais importante, de singularidades de superfícies algébricas.
Ironicamente, esse grande homem tem sido considerado o matemático mais baixinho do século. Era corcunda, tinha uma voz estridente e era casado com uma mulher linda, com quem teve três filhos, entre eles Laura, a física da família. Embora Levi não tenha passado no exame de pureza racial, viveu muito mais anos, comportou-se muitíssimo melhor, concebeu e criou mais filhos e mais ideias que seu perseguidor.
A legislação anti-semita promulgada pelo governo fascista italiano em 1938 privou Levi de sua cátedra em Bolonha e o obrigou a emigrar junto com a família. Aos 64 anos de idade, recomeçou a vida: veio parar no ramo de Rosario da Universidade Nacional do Litoral. Isso se deveu à gestão de seu ilustrado reitor, o engenheiro Cortés Plá, e do matemático Julio Rey pastor, grande incentivador da ciência na Argentina e na Espanha.
Em sua nova Pátria, Levi fez um pouco de tudo. Deu cursos para estrangeiros; em 1940, fundou e dirigiu o Instituto de Matemática e sua revista , Mathematicae Notae; estimulou os poucos jovens que se interessavam pela Matemática pura; participou de reuniões de físicos; continuou cultivando as humanidades e inclusive encontrou tempo para responder algumas questões matemáticas formuladas por alunos e colaboradores.
Aprenderão com este livro a ver Euclides e inclusive seu mestre Platão, através dos olhos modernos.
Mario Bunge
Foundations and Philosophy of Science Unit
MCGill University, Montreal
Referências bibliográficas:
– Hilbert, D. “Axiomatisches Denken”, in Gesammelte Abhandlungen, vol. 3. Berlim: Julius Springer, 1918.
– Moore, G. E. Zermelo’s Axioms of Choice. Nova York: Springer-Verlag, 1982.
– Schappacher, N. e Schoof, R. “Beppo Levi and the arithmetic of elliptic curves”, in The Mathematical Intelligencer 18: 57-69, 1996.
adaptado por Gilberto dos Santos Alves
com base em livros e artigos da Biblioteca de São Paulo – agosto de 2013.
Você precisa fazer login para comentar.