Principium tertii exclusi e Reductio ad absurdum: antigos “feitiços” matemáticos (V.8, N.2, 2022)
Desde a antiga Grécia, matemáticos procuram a partir da lógica provar que propriedades matemáticas são verdadeiras.
por Blogs Unicamp · Published 21 de fevereiro de 2022 · Last modified 22 de fevereiro de 2022
Desde a antiga Grécia, matemáticos procuram a partir da lógica provar que propriedades matemáticas são verdadeiras.