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
On Mon, 5 Sept 2022 at 23:33, Bruno Bentzen wrote:
>
> 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
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
>
> ---
> 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+unsubscr...@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.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu 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+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6h%3DC2aAs2NNRwCbek_R9Y4RxUqxaTNnujLOgNoJUiReNQ%40mail.gmail.com.
