Glossary entry

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

.
Something went wrong...
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...
Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search