Conjectura
Do latim *coniectura* — "lançar junto", "palpite informado".
term: Conjectura etymology: 'Do latim coniectura — "lançar junto", "palpite informado".' summary: 'Proposição que se acredita verdadeira mas ainda não foi provada.' relatedModules: [proof-methods] seeAlso: [teorema, prova]
Definição
Proposição que se acredita verdadeira mas ainda não foi provada.
Intuição
Um teorema em construção. Pode ser verdadeira, pode ser falsa, pode ser indecidível.
Exemplos
A conjectura de Goldbach (todo número par maior que 2 é soma de dois primos). A hipótese de Riemann. Até 1995, o último teorema de Fermat era uma conjectura.