1 messaggio
• Pagina 1 di 1
"Proof-assistant programs"
da Bbach » 10/04/2019, 19:15
Per caso mi sono imbattuto in questa pagina di wikipedia che tratta di programmi informatici (i più gettonati sembrano essere Isabelle e Coq) e linguaggi di programmazione che sembrano aiutino il lavoro del matematico nella formalizzazione delle dimostrazioni. E' giusto? Qualcuno sa dirmi qualcosa in più?
"Accenderemo fuochi per testimoniare che due più due fa quattro. Sguaineremo spade per dimostrare che le foglie sono verdi in estate." (G.K. Chesterton)
- Bbach
- New Member
- Messaggio: 17 di 93
- Iscritto il: 09/03/2019, 21:00
1 messaggio
• Pagina 1 di 1
Chi c’è in linea
Visitano il forum: Nessuno e 1 ospite