Oi, pessoal!
Obrigado, Valeria, pela correção!
Ainda fico um pouco em dúvida, porém, pois quando escrevemos algo em
determinada linguagem de programação, normalmente nos adaptamos à sintaxe e
temos mais de uma implementação em mente, em linguagens rivais, e essa
pluralidade de opções nos permite
Marcos:
Esta discussão, provocada pelo bate-papo com o Samuel, ficou tão
interessante, que sugiro a você que programe um bate-papo conjunto entre
você, Samuel e Daniel.
Que tal?
Abraços,
Itala
Em dom., 6 de ago. de 2023 às 13:10, Valeria de Paiva <
valeria.depa...@gmail.com> escreveu:
> Muito
Muito boa, a comparação, Marcio!
mas me parece que o nível está um pouco errado. os sistemas fundacionais
seriam mais como as linguagens de programação, do que como sistemas
operacionais. a matemática sempre pode ser feita numa linguagem diferente,
mas fica com uma cara diferente se for feita em
E quanto à matemática dos séculos 17, 18 e 19 de antes da aritmetização da
análise e do surgimento da lógica moderna?
Newton, Leibniz, Gauss... Nenhum deles ouviu falar sobre ZFC. Se a
matemática é ZFC, o que eles praticavam? E quanto aos antigos? Arquimedes,
que nem algarismos indo-arábicos
É hoje! :-)
Convidamos todas e todos para o nosso bate papo segunda-feira, 03 de julho.
> Conversaremos com Samuel Gomes da Silva (UFBA) sobre infinito, números e
> provas, como se um matemático e um filósofo tivessem entrado em um bar.
> O que te levou pra matemática? E pra a lógica? Por que