Enquanto isso na sala de Justiça…
Em matemática, uma prova é uma demonstração de que, dados certos axiomas, algum enunciado de interesse é necessariamente verdadeiro. As provas empregam lógica mas usualmente incluem alguma quantidade de linguagem natural, o que obviamente admite ambigüidade. De fato, a grande maioria das provas na matemática escrita pode ser considerada como aplicações da lógica informal. No contexto da teoria da prova, em que as provas puramente formais são consideradas, tais demonstrações não inteiramente formais são freqüentemente chamadas de “provas sociais”. A distinção levou à análise da prática matemática atual e histórica, do quasi-empiricismo em matemática e da então chamada matemática popular (em ambos os sentidos deste termo). A filosofia da matemática preocupa-se com o papel da linguagem e da lógica em provas, e da matemática como linguagem.
Agora não sei o que dizer dessas provas ai…me ajudem!!!!
