fui inocente ao achar que era so ler o natural number game e o mechanics of proof e ja daria pra aplicar #lean4 as coisas que leio. olha q aberracao:

a conexao recife permanece a trivia mais relevante kkkkkkkkk

Don Saari é famoso pela geometria do voto, mas tem várias contribuições que vou descobrindo aos poucos. Uma delas é ter participado da fundação da área de desenho de mecanismos. Numa conversa com ele mencionei que estava folheando o Vol1 dos collected papers de Hurwicz e ele me contou dessa amizade

esse texto de berlin (que tenho varias critcas) ao menos defende essa funcao de critica social de forma eloquente: assets.press.princeton.edu/chapters/s10...