8 citations · 20 across the 8 of their papers we have counts for
Showing math.HOShow all
2 papers · 1 filter
math.HO2012
Todas as afirmações verdadeiras são demonstráveis
Jaime Gaspar
In this instructional exposition in Portuguese for the popularisation of mathematics, we state and prove the completeness theorem.
math.HO2012
A theorem with constructive and non-constructive proofs
Jaime Gaspar
We present a very simple example of a theorem with constructive and non-constructive proofs: the equation c^2 x^2 - (c^2 + c)x + c = 0 has a solution.