Five persons make separate journeys within Europe using different
modes of transport. Match the travelers with their respective
journey and mode of transport and calculate the amount of CO2
emissions that they cause in the process!
https://www.vcla.at/wp-content/uploads/2024/01/VCLA_Raetsel_A5.pdf
da Turing-completude dos origamis
https://www.quantamagazine.org/how-to-build-an-origami-computer-20240130/
JM
--
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
Pra pessoas interessadas em formalizacao da matematica e prova automatica
de teoremas!
abs
Valeria
==
The Hausdorff Trimester "Prospects of Formalized Mathematics" will organize
a "School of Formalized Mathematics" (May 13 - 17, 2024). This is targeted
towards junior researchers a
Olá, João
On Tue, Jan 30, 2024 at 11:44 AM Joao Marcos wrote:
> Viva, Juan!
>
> > Acho que o resultado de sua pesquisa só mostra quanto estamos
> acostumados com a formalização de funções na Teoría de Conjuntos.
> Particularmente, acho que a formalização de funções como conjuntos de pares
> orde
> Pro aluno que acha que "funcao tem que ter fórmula"...
>
> O Axioma da Escolha nao significa nada... Porque o que sai dele é uma funcao
> que nao
> tem fórmula, imaginem.
Pois já pensou: não tem nem fórmula, que sentido fará em pensar na sua
---completamente desconhecida--- descrição extensiona
Viva, Eduardo!
> Muitos alunos daqui de Rio das Ostras têm muita dificuldade de
> entender que isto aqui é _uma_ função:
>
> $f(x) =
>\begin{cases}
> x^3 & \text{se $x<0$}, \\
> x^2 & \text{se $x \ge 0$} \\
>\end{cases}
> $
>
> Eles acham que isso é (são?) duas funções, e ele
Viva, Juan!
> Acho que o resultado de sua pesquisa só mostra quanto estamos acostumados com
> a formalização de funções na Teoría de Conjuntos. Particularmente, acho que a
> formalização de funções como conjuntos de pares ordenados é só uma
> codificação que funciona, mas que não mostra seu car
... Já que chegamos nas "coisas que alunos dizem",
Outra coisa interessante é que aluno acha que "funcao tem que ter fórmula".
Aí é que a pessoa nao entende o Axioma da Escolha de jeito nenhum (porque se
o Axioma da Escolha se fez necessário para criar uma funcao-escolha é
porque nao
se tinha me
