Per Martin-Löf: transcriptions

[Bruno Bentzen]

Caros,

Meus colegas do Instituto de Filosofia da Academia Tcheca de Ciencias criaram a seguinte pagina contendo uma colecao de escritos ineditos de Per Martin-Löf na forma de transcricoes de aulas dadas entre 1993 e 2019:

https://pml.flu.cas.cz/

Entre esses escritos esta o que talvez seja a sua mais importante e sistematica obra "Philosophical aspects of intuitionistic type theory", que consiste em doze aulas dadas na Universidade de Leiden em 1993.

O credito vai para Ansten Klev que editou a maioria das transcricoes e conseguiu a permissao do Martin-Löf e Ivo Pezlar pela manutencao da pagina.

Abracos,
Bruno

[Eduardo Ochs]

Tou lendo algumas transcrições.
Caramba, que coisa fantástica!!!
Já recomendei pra esse cara daqui incluir o link na lista dele:

https://github.com/jozefg/learn-tt

[[]] =),
Eduardo Ochs
http://angg.twu.net/math-b.html

> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/b2ac7a5c-733a-45fd-8f63-7d2555b33394n%40dimap.ufrn.br.

[Cassiano Terra Rodrigues]

Excepcional material, obrigado, Bruno, por divulgar. 

Abraços,

cass. 

[Daniel Durante]

Que maravilha, Bruno!!

Muito obrigado por compartilhar!!

Abraços,

Daniel.

[Valeria de Paiva]

Realmente exceptional!  Muito obrigada ao Ansten Klev e outros colegas por esse trabalho primoroso. e muito obrigada ao Bruno pela informacao.

abs

Valeria

--

LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/f9de4109-5f22-4b6d-bb1e-61c1827d4fb1n%40dimap.ufrn.br.