Gli informatici combinano due metodi di dimostrazione “bellissimi”.
Gli scienziati informatici combinano due “bellissimi” I metodi di prova sono apparsi per la prima volta su Quanta Magazine
“>
Come si dimostra che una cosa è vera? Per i matematici la risposta è semplice: iniziare con alcuni presupposti di base e procedere, passo dopo passo, fino alla conclusione. QED, prova completa. Se c'è un errore da qualche parte, un esperto che legge attentamente la dimostrazione dovrebbe essere in grado di individuarlo. Altrimenti la prova deve essere valida. I matematici seguono questo approccio di base da oltre 2000 anni. Poi…
Questa è la traduzione automatica di un articolo pubblicato su Quanta Magazine all’URL https://www.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/ in data Fri, 04 Oct 2024 13:33:16 +0000.