Em geral na linguagem matemática a apresentação da dedução de uma fórmula é realizada através dos procedimentos que quem já leu um livro de cálculo já sabe, geralmente terminando com um QED.
Uma abordagem mais elegante, proposta por Lamport, é a prova estruturada. Se você não quiser perder tempo com alguns passos, basta passar pelo passo correspondente. Se quiser estudar mais detalhadamente, você pode abrir cada passo para ver o que foi feito.
O Godel defendeu esta ideia em uma postagem bem interessante que pode ser lida aqui. Outro texto, publicado no site Medium, divulgou a visão de Lamport de maneira bem didática.
Contabilidade - percebo que temos uma carência na pesquisa de modelagem (com provas, teoremas etc), mesmo tendo sua origem na matemática. Quem seja útil no futuro da contabilidade.
Nenhum comentário:
Postar um comentário