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.
Tag: feitiço
Desde a antiga Grécia, matemáticos procuram a partir da lógica provar que propriedades matemáticas são verdadeiras.