Estava fazendo uma pesquisa sobre alternativas a linguagem Fortran como forma de rodar simulações numéricas de maneira tão eficinetes quanto.
A partir de uma pesquisa no google com o termo "best language for calculus" dentre o vários resultados encontrei o artigo Advanced programming languages do professor Matt Might, este site contém além deste vários outros artigos sobre ciência da computação. Um que chamou a atenção foi "7 lines of code, 3 minutes: Implement a programming language"
no meio da leitura fui checar a informação de que Alonzo Church foi o orientador de Doutorado de Alan Turing, informação confirmada via Wikipedia. Resolvi então ver quais alunos Alan Turing havia orientado e achei Robin Gandy seu único aluno de doutorado. A partir de Robin Gandy fiz uma pesquisa no Google images, e ví algumas fotos dele, a mais recente de 95 ano de sua morte. Uma das imagens que achei está disponível no site do pesquisador chamado Solomon Feferman que contém fotos de outros matemáticos e cientistas, entre eles:
Alfred Tarski
Oskar Morgenstern
Kurt Gödel
Willard Van Orman Quine
entre outros
Destes eu conhecia de nome alguns entre eles Alfred Tarski (pelo Paradoxo de Banach-Tarski) e Kurt Gödel (tenho sua biografia em livro), esta foto aliás é uma das poucas que conheço que é colorido e com ele sorrindo.
Pesquisei então sobre Oskar Morgenstern e Willard Van Orman Quine. Na Wikipedia ví que Oskar é conhecido por ser o fundador da Teoria dos Jogos, junto com John von Neumann. E por fim ao pesquisar sobre Willard Quine, que agora sei que foi um matemático e lógico estadunidense, tomei conhecimento dos programas chamado Quine. Um Quine é um programa que recebe nenhuma entrada e imprime seu código fonte na saída. Este tipo de programa surgiu na década de 70 primeiramente como uma forma de entretenimento. Interessante que o termo Quine foi proposto por Douglas Hofstadter em seu famoso livro Godel, Esher, Bach: um entrelaçamento de mentes brilhantes, em honra a Willard Quine. Este livro está esgotado no Brasil e quem tem não vende - na verdade achei ao preço de R$600... em um sebo.
Links
site do professor Matt Might
http://matt.might.net/
Artigos do professor Matt
http://matt.might.net/articles/
Advanced programming languages
http://matt.might.net/articles/best-programming-languages/#ml
7 lines of code, 3 minutes: Implement a programming language
http://matt.might.net/articles/implementing-a-programming-language/
Quine
http://pt.wikipedia.org/wiki/Quine_(informática)
Site de Solomon Feferman e suas fotos
http://math.stanford.edu/~feferman/pics/pic.html
Nenhum comentário:
Postar um comentário