This site uses cookies. Some of these cookies are essential to the operation of the site, while others help to improve your experience by providing insights into how the site is being used. For more information, please see the ProZ.com privacy policy.
Cookie settings
  1. KudoZ™ Top
  2. English to German
  3. Computers: Systems, Networks

mathematical proof on paper

German translation: mathematische Beweise in Papierform

14:16 Oct 19, 2019
English to German translations [PRO]
Tech/Engineering - Computers: Systems, Networks / Blockchain/Kryptowährung
English term or phrase: mathematical proof on paper
To achieve even greater assurance about the XXX protocol, and to make future design and validation of new protocols easier, we have chosen ***to enhance our mathematical proofs on paper with machine-checkable formal verification approaches***. For this purpose, we engaged Runtime Verification, a company with deep verification expertise, to verify the correctness of the XXX consensus protocol.

Vorläufige Lösung:

Um eine noch größere Sicherheit des XXX-Protokolls zu erreichen und die künftige Entwicklung und Validierung neuer Protokolle zu erleichtern, haben wir beschlossen, ***unsere mathematischen Beweise auf Papier mit maschinell überprüfbaren formellen Verifikationsansätzen zu ergänzen***. [...]

Passt das? Mir ist ehrlich gesagt nicht ganz klar, was ein "mathematical proof on paper" ist.
Olaf Reibedanz
Colombia
Local time: 02:43
German translation:mathematische Beweise in Papierform
Explanation:
Alternativ auch „mathematische Beweisführung in Papierform“

„Zugrunde liegt Blockchain das Vertrauen in mathematische Beweise und deren (öffentliche) Nachvollziehbarkeit.“
https://www.isico-datenschutz.de/blog/2016/12/15/technologie...

Das Vertrauen (in die Sicherheit) lässt sich steigern, indem diese Beweise nicht nur in elektronischer Form, sondern auch in Papierform hinterlegt sind (nicht umsonst gilt etwa im deutschen Recht derzeit (noch) die zwingende urkundliche Verkörperung von Wertpapieren), eine weitere Steigerung wird durch die hier beschriebenen „maschinell überprüfbaren formellen Verifikationsansätze“ erreicht.

Was der Anbieter sagen will: unser Protokoll ist sicher hoch drei.
Selected response from:

B&B FinTrans
Germany
Local time: 09:43
Grading comment
Vielen Dank an alle!
4 KudoZ points were awarded for this answer



Summary of answers provided
3 +1mathematische Beweise in Papierform
B&B FinTrans
3mathematische Papierabzüge
Barbara Schmidt, M.A. (X)


  

Answers


12 mins   confidence: Answerer confidence 3/5Answerer confidence 3/5
mathematische Papierabzüge


Explanation:
mein Vorschlag

Barbara Schmidt, M.A. (X)
Germany
Local time: 09:43
Works in field
Native speaker of: German
PRO pts in category: 92
Login to enter a peer comment (or grade)

4 hrs   confidence: Answerer confidence 3/5Answerer confidence 3/5 peer agreement (net): +1
mathematische Beweise in Papierform


Explanation:
Alternativ auch „mathematische Beweisführung in Papierform“

„Zugrunde liegt Blockchain das Vertrauen in mathematische Beweise und deren (öffentliche) Nachvollziehbarkeit.“
https://www.isico-datenschutz.de/blog/2016/12/15/technologie...

Das Vertrauen (in die Sicherheit) lässt sich steigern, indem diese Beweise nicht nur in elektronischer Form, sondern auch in Papierform hinterlegt sind (nicht umsonst gilt etwa im deutschen Recht derzeit (noch) die zwingende urkundliche Verkörperung von Wertpapieren), eine weitere Steigerung wird durch die hier beschriebenen „maschinell überprüfbaren formellen Verifikationsansätze“ erreicht.

Was der Anbieter sagen will: unser Protokoll ist sicher hoch drei.

B&B FinTrans
Germany
Local time: 09:43
Works in field
Native speaker of: Native in GermanGerman
PRO pts in category: 80
Grading comment
Vielen Dank an alle!

Peer comments on this answer (and responses from the answerer)
agree  Steffen Walter
19 hrs
  -> Danke!
Login to enter a peer comment (or grade)



Login or register (free and only takes a few minutes) to participate in this question.

You will also have access to many other tools and opportunities designed for those who have language-related jobs (or are passionate about them). Participation is free and the site has a strict confidentiality policy.

Return to KudoZ list

KudoZ™ translation help

The KudoZ network provides a framework for translators and others to assist each other with translations or explanations of terms and short phrases.

See also:
ProZ.com term search
Search millions of term translations
Close search
Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search