Re: [Logica-l] a lógica /n|d/+as aulas de matemática

[Itala Maria Loffredo D'Ottaviano]

Valéria e Walter:

A Prof. Alzenda Frattini, também minha professora de Matemática no "Culto à
Ciência", faleceu recentemente, com quase 100 anos.

Fiz uma visita a ela, em Brasília, onde ela estava vivendo.

Pessoa interessantíssima, lúcida e fazendo cursos até o final de sua vida.

O irmão mais novo dela, Amaury Frattini, também foi nosso professor de
Matemática - era também advogado, a filha dele é muito competente e
professora da Engenharia Química da Unicamp.
El;e faleceu pouco antes da Alzenda.

Abraço,

Itala

Em ter., 16 de jan. de 2024 às 17:09, Valeria de Paiva <
valeria.depa...@gmail.com> escreveu:

> Muito obrigada, Walter!
> abs
> Valeria
>
> On Tue, Jan 16, 2024 at 10:37 AM Walter Carnielli 
> wrote:
>
>> Ola Valeria,
>>
>> Tenho muita satisfação em falar sobre  meus professores do Colégio Culto
>> à Ciência de Campinas, realmente uma das melhores partes da minha educação.
>>
>> A professora Ausenda Fratini e seu irmão Amaury Fratini eram dois
>> professores de matemática tradicionais do colégio Culto à Ciência, que se
>> orgulha de ter tido Santos Dumont entre seus alunos.
>>
>> A professora Ausenda era muito séria, bem magra assim com aspecto
>> ascético, solteira, mas bastante gentil, jamais levantava a voz e jamais
>> perdia  a paciência.
>>
>> Minha impressão é que ela conhecia bastante bem a tal "matemática
>> moderna" da época,  que era a teoria elementar de conjuntos e lógica
>> proposicional com slgumas pinceladas de quantificacao, aplicadas a ideias
>> matemáticas na educação.
>>
>> Sua especialidade era geometria elementar,  teoria do números muito
>> simples e trigonometria.
>>
>>
>> Parte da sua técnica (que eu acho maravilhosa até hoje)  era "problem
>> solving",  resolver problemas desses que caem nas olimpíadas de Matemática
>> para principiantes.
>>
>> Eu acho que resolver uma centena desses problemas na vida ajuda  a
>> compreender profundamente a matemática elementar.
>>
>> Uma vez encontrei o professor Amaury Fratini numa festa, ele estava com
>> mais de 90 anos.
>>
>> Disse a ele que eu havia escolhido a carreira de matemático, em parte
>> como consequência das aulas dele e da irmã--
>>  ele me abraçou profusamente e me disse "plantamos  nossa  semente" :-)
>>
>> Me sinto feliz em ter plantado as minhas,  inclusive nesse grupo !
>>
>> Abraços,  e obrigado pelo interesse,
>>
>> Walter
>>
>>
>>
>> Em ter., 16 de jan. de 2024 11:41, Valeria de Paiva <
>> valeria.depa...@gmail.com> escreveu:
>>
>>> Alo Walter,
>>>
>>> Eu fiquei bem interessada nessa parte da sua resposta ao Joao Marcos:
>>>
>>> >A Professora Ausenda Fratini, uma espécie de Emmy Noether nacional (até
>>> bem parecida), adorava mostrar  demonstrações simples em geometria, à la
>>> Euclides.
>>>
>>> O que mais vc sabe dizer sobre a professora Ausenda Fratini?
>>> muito obrigada,
>>>
>>> Valeria
>>>
>>> On Thu, Dec 28, 2023 at 4:29 PM Walter Carnielli 
>>> wrote:
>>>
 Oi João:

 Vou tentar  esclarecer melhor.
 Acho que esse esforço por parte dos professores tinha a ver com o
 movimento da chamada "Matemática Moderna", que era basicamente o apoio
 de tudo na teoria elementar de conjuntos.
 Vou tentar esclarecer o que se fazia, na direção do que você apontou
 como (1).

 Muitos enunciados em geometria, que era o que mais tínhamos de
 "matemática", são do tipo:
 "Para todo coiso em um certo conjunto, se o  coiso  tem uma
 propriedade X, então ele tem uma propriedade Y."

 A partir desse entendimento, que não envolve apenas tabelas-verdade
 mas também quantificação mínima, uma prova seria:

 Suponha que x seja um coiso  particular, mas genérico, que tem a
 propriedade X. Então basta mostrar que o elemento tem também a
 propriedade Y.
 Por exemplo:
 Provar que, para  todo triângulo (coiso que está em um certo
 conjunto), se ele for isósceles, então tem dois ângulos iguais.

 A(o) estudante aprende a fazer um desenho como  um recurso heurístico
 que mostra um triângulo genérico, nota que "isósceles" significa ter
 dois lados iguais, e
 pode usar a propriedade LAL para  verificar que  o triângulo isósceles
 é semelhante a si mesmo "virado",  e daí deduz que há de fato dois
 ângulos iguais.

 Não é uma demonstração que figuraria num tratado de geometria, mas
 treina o raciocínio do(a) estudante.

 Outra coisa que ele(a) aprende rapidamente é que basta achar um
 contraexemplo, e que aí a coisa não funciona mais, porque se aprende
 alguma relação entre "qualquer" e "existe".

 Do ponto de vista de tabelas de verdade propriamente, aprende-se que
 os rudimentos da Lei da Explosão são "Falso  deduz qualquer coisa",  e
 que por isso os axiomas da Geometria
 devem ser bem escolhidos, críveis, os tais "postulados".

 Entender a tabela verdade também ajuda muito a compreender a diferença
 entre "X implica Y" e "X é equivalente a Y".

 Por 

Re: [Logica-l] Re: Vem aí os Seminários de Orientação extra-Lógica (SOL)

[João Mendes]

Obrigado, Samuel e Evandro!

Aproveito para avisar que as inscrições estão abertas pelo sistema de
atividades de extensão da UFRN

até o dia 08/03. Postamos no instagram
 e no twitter
 um breve
tutorial de inscrição.

Vale destacar que, mesmo este sendo um evento cujo público-alvo são
estudantes, toda a comunidade está convidada a participar!

Em ter., 16 de jan. de 2024 às 17:52, Evandro L. Gomes 
escreveu:

> Olá Samuel, olá João Mendes,
>
> Muito boa mesmo a programação.
>
> Abs,
> Evandro.
>
> On Tue, Jan 16, 2024 at 11:06 AM 'samuel' via LOGICA-L <
> logica-l@dimap.ufrn.br> wrote:
>
>> Caros,
>>
>> Achei a programacao tao bacana que nao resisti a um recorte e cole aqui,
>>
>> Parabéns aos idealizadores,
>>
>> Até
>>
>> []s  Samuel
>> 15/03/2024 (6ª)
>>
>>- 14:00 - 17:00 (Seminário)
>>Habilidades de estudos e organização
>>- 18:00 - 20:00 (Mesa redonda)
>>Problemas: quais a lógica dá conta de resolver e como encontrá-los?
>>
>>
>> 16/03/2024 (sáb.)
>>
>>- 9:00 - 11:00 (Seminário)
>>Ingressando numa pós
>>- 13:00 - 15:00 (Seminário)
>>Preparando e sobrevivendo a uma apresentação
>>- 16:00 - 18:00 (Mesa redonda)
>>​Problemas de demarcação: Eu faço Lógica?
>>
>>
>>
>> Em segunda-feira, 15 de janeiro de 2024 às 21:28:28 UTC+1,
>> mendeslo...@gmail.com escreveu:
>>
>>> Como já anunciado no Boletim VII-2 da SBL, acontecerá nos dias 15 e 16
>>> de março de modo virtual os Seminários de Orientação extra-Lógica (SOL),
>>> evento parte do 3º Dia Carol Blasio por Diversidade na Lógica.
>>>
>>> Este será um evento voltado a estudantes ou pessoas interessadas em
>>> estudar Lógica para conversarmos sobre aspectos da vida acadêmica que
>>> geralmente não fazem parte de ementas de disciplinas ou de cursos.
>>>
>>> As inscrições abrirão em breve e, mais informações, podem ser
>>> encontradas em
>>>
>>> Site: https://sologica.weebly.com/
>>>
>>> Instagram: sol_logica 
>>>
>>> Twitter: sol_logica 
>>>
>>>
>>> João Mendes
>>>
>> --
>> 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 acessar essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/92bf3f7a-19b7-4589-8367-70ef448ed3e4n%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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAECUrDTq16LqVmPGiK3qw9mWrRHo-gHU0Vr317koTh1RoWic%2BA%40mail.gmail.com.

[Logica-l] Indicación de lectura: "Synthetic Philosophy of Contemporary Mathematics"

[Walter Carnielli]

Caro Fernando;

Mis congratulaciones por la indicación de tu libro en  la publicación
MEDIUM. El articulista Rocco Gangle, el mismo matemático y filósofo,
indica el libro como "un puente entre filosofía y matemáticas".

Abrazos,
Walter
https://medium.com/@NovelNestBooks/6-best-mathematics-books-for-the-philosophically-inclined-according-to-rocco-gangle-7d4c1e3f9f22
Synthetic Philosophy of Contemporary Mathematics by Fernando Zalamea and
Zachery Luke Fraser 

At the intersection of mathematics, philosophy, and contemporary thought,
“Synthetic Philosophy of Contemporary Mathematics” offers readers an
engaging exploration of how mathematics shapes our understanding of
reality. Zalamea and Fraser navigate through complex concepts, bridging the
gap between mathematical abstraction and the philosophical underpinnings
that inform its development.

-- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58MCyghwXHNkBJXDcCpFKG2qNWHcj3UvdMi%2BwCSgJEu%3D6Q%40mail.gmail.com.