https://dailynous.com/2024/06/19/a-searchable-digital-map-of-principia-mathematica/

The aim of the map, say creators Landon D.C. Elkind (Western
Kentucky), Gregory Landini (Iowa), and Matthew Butler (Iowa), is to
“make clear structural connections between different parts of
Principia and to make analyzable data about the theorems, definitions,
and primitive postulates in its text.”


JM

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
<logica-l@dimap.ufrn.br>
--- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljr9J8Hm%2BaaOM%3Dc3oYahUGzd_e5adFXO54dhasWKa8zeA%40mail.gmail.com.

Responder a