Glossary entry (derived from question below)
English term or phrase:
mathematical proofs by rational agents
Italian translation:
prove matematiche derivanti/fornite da agenti razionali
Added to glossary by
Gaetano Silvestri Campagnano
Jan 18, 2022 12:23
2 yrs ago
10 viewers *
English term
mathematical proofs by rational agents
English to Italian
Other
Finance (general)
blockchain
A new decentralized proof-verification platform on Algorand, based on the SPRIG protocol, which allows for a **game-theoretic verification** of **mathematical proofs by rational agents**.
Change log
Jan 24, 2022 16:31: Gaetano Silvestri Campagnano Created KOG entry
Proposed translations
5 mins
Selected
prove matematiche derivanti/fornite da agenti razionali
.
4 KudoZ points awarded for this answer.
3 hrs
dimostrazioni matematiche da parte di/fornite da/effettuate da agenti razionali
In matematica "proof" sta per "dimostrazione"; es.: https://medium.com/@nissim.lavy/types-of-proofs-c43ffacc8ada "A proof is a logical argument that tries to show that a statement is true", https://study.com/academy/lesson/mathematical-proof-definiti... "A mathematical proof shows a statement to be true using definitions, theorems, and postulates".
Something went wrong...