Sumários
O que é real na composição das forças, as componentes ou a resultante?
18 Outubro 2021, 08:00 • Ricardo Lopes Coelho
O que é real na composição das forças, as componentes ou a resultante?
Apresentação dos textos da controvérsia: Cartwright (1980), Creary (1981), Cartwright (1983).
Análise das teses de J. Wilson (2009), A. Wilson (2009) e Massin (2017).
Aplicação da tese a fenómenos da mecânica elementar.
Tratamento da máquina de Atwood por via Newtoniana e Gaussiana: mesma predição e diferentes explicações.
Recurso a experiências com a máquina.
Análise das teses sobre a composição da força em função dos resultados experimentais.
Excertos de manuais contemporâneos e do séc. XVIII sobre as primeiras leis de Newton
13 Outubro 2021, 18:30 • Ricardo Lopes Coelho
Exercícios de formalização de proposições
11 Outubro 2021, 10:00 • Ricardo Lopes Coelho
Operadores lógicos mais úteis à formalização de proposições.
Proposições: formalização e discussão da validade das proposições com base na formalização.
Pode-se provar experimentalmente a Lei de Inércia?
11 Outubro 2021, 08:00 • Ricardo Lopes Coelho
O paradoxo de Russell: análise e transformação em redução ao absurdo
Controvérsia sobre a lei de inércia:
Tese sobre a lei de inércia: A lei não tem suporte experimental (Coelho 2007)
Contra-argumento: Galileu deu suporte experimental à lei (Kalman 2009)
Contra-contra-argumento: Galileu não realizou essas experiências (Martins 2012)
Análise dos textos com indicações sobre os contextos.
Do equilíbrio ao movimento: sobre o papel da segunda lei dos Principia.
6 Outubro 2021, 18:30 • Ricardo Lopes Coelho
O princípio de Arquimedes e as teses de Hoelder e Mach. Discussão.