Willkommen zu Open Theorems Alert #11. Wir freuen uns, die Kennung 0x0011 vorzustellen, die sich auf Erdős Probleme #12 Teil 1 konzentriert.
Die mathematische Proposition fordert dich auf anzunehmen, dass A eine unendliche Menge ist, in der keine unterschiedlichen a, b, c € A existieren, die die Bedingungen von b, c > a und a | (b + c) erfüllen.
Diese Herausforderung hat einen vorgeschlagenen Schwierigkeitsgrad von Mittel. Teilnehmer erhalten als Belohnung 61 $CTK für ihre Bemühungen. Wir laden dich herzlich ein, dich zu beteiligen, indem du deinen Beweis einreichst oder alternativ entscheidest, Mittel für die Initiative beizutragen.
Du kannst die Wahrheit ganz einfach on-chain überprüfen, indem du den folgenden Link besuchst.
https://t.co/J8pde6iJTj
#OpenMath #OpenTheorems #Lean @leanprover
Die mathematische Proposition fordert dich auf anzunehmen, dass A eine unendliche Menge ist, in der keine unterschiedlichen a, b, c € A existieren, die die Bedingungen von b, c > a und a | (b + c) erfüllen.
Diese Herausforderung hat einen vorgeschlagenen Schwierigkeitsgrad von Mittel. Teilnehmer erhalten als Belohnung 61 $CTK für ihre Bemühungen. Wir laden dich herzlich ein, dich zu beteiligen, indem du deinen Beweis einreichst oder alternativ entscheidest, Mittel für die Initiative beizutragen.
Du kannst die Wahrheit ganz einfach on-chain überprüfen, indem du den folgenden Link besuchst.
https://t.co/J8pde6iJTj
#OpenMath #OpenTheorems #Lean @leanprover