Pytania otagowane jako proof-golf

11
(-a) × (-a) = a × a
Wszyscy wiemy, że (miejmy nadzieję), ale czy możesz to udowodnić?( - a ) × ( - a ) = a × a(−a)×(−a)=a×a(-a) \times (-a) = a \times a Twoim zadaniem jest udowodnienie tego faktu za pomocą aksjomatów pierścienia. Jakie są aksjomaty pierścieniowe? Aksjomaty pierścieniowe są listą reguł, których muszą przestrzegać …
3
(A → B) → (¬B → ¬A)
Cóż, myślę, że najwyższy czas, abyśmy mieli kolejne pytanie dotyczące gry w golfa . Tym razem udowodnimy dobrze znaną logiczną prawdę (A→B)→(¬B→¬A)(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) W tym celu użyjemy trzeciego schematu aksjomatycznego Łukasiewicza , niezwykle eleganckiego zestawu trzech aksjomatów, które są kompletne w stosunku do …
38 logic  proof-golf 
2
Golf egzystencjalny
Matematyka ma wiele symboli. Niektórzy mogą powiedzieć zbyt wiele symboli. Zróbmy więc matematykę ze zdjęciami. Zróbmy papier, z którego będziemy czerpać. Aby rozpocząć papier jest pusty, powiemy, że jest to odpowiednik lub .prawda⊤⊤\toptruetrue\textit{true} Jeśli napiszemy na papierze inne rzeczy, one również będą prawdziwe. Na przykład Wskazuje, że twierdzenia i są …
22 math  logic  proof-golf 
16
Jeszcze jeden program i nie ma mnie!
Biorąc pod uwagę dodatni poziom zagnieżdżenia liczb całkowitych ni ciąg znaków sdrukowalnych ascii ( do ~, wypisuje program, który po uruchomieniu w tym samym języku, wypisuje program, który wypisuje program ... który wypisuje ciąg s. nNależy wygenerować w sumie programy, z których wszystkie powinny być uruchomione w tym samym języku, …
21 code-golf  recursion  code-golf  kolmogorov-complexity  board-game  code-golf  number-theory  polynomials  code-golf  code-golf  array-manipulation  polyglot  alphabet  answer-chaining  code-golf  sequence  math  atomic-code-golf  abstract-algebra  proof-golf  code-golf  internet  code-golf  internet  code-golf  ascii-art  kolmogorov-complexity  code-golf  math  ascii-art  number  integer  code-golf  decision-problem  binary-matrix  code-golf  number  sequence  number-theory  code-golf  math  decision-problem  matrix  abstract-algebra  code-golf  string  keyboard  code-golf  fractal  code-golf  math  sequence  combinatorics  hello-world  vim  code-golf  sequence  code-golf  graphical-output  image-processing  code-golf  decision-problem  matrix  linear-algebra  code-golf  ascii-art  code-golf  math  code-golf  ascii-art  graphical-output  code-golf  string  code-golf  string  substitution  code-golf  string  ascii-art  code-golf  arithmetic  code-golf  number  array-manipulation  decision-problem  code-golf  kolmogorov-complexity  code-generation  fractal  code-golf  ascii-art  kolmogorov-complexity  code-golf  ascii-art  code-golf  string  array-manipulation  code-golf  music  code-golf  array-manipulation  code-golf  internet  stack-exchange-api  math  fastest-algorithm  code-golf  binary  bitwise  code-golf  date  code-golf  string  code-golf  sequence  integer  code-golf  arithmetic  number-theory  code-golf  string  random 
3
Udowodnij prawa DeMorgan
Korzystanie z dziesięciu wniosków Systemu Naturalnego Odliczenia dowodzi praw DeMorgan . Zasady odliczenia naturalnego Wprowadzenie do negacji: {(P → Q), (P → ¬Q)} ⊢ ¬P Eliminacja negacji: {(¬P → Q), (¬P → ¬Q)} ⊢ P I wprowadzenie: {P, Q} ⊢ P ʌ Q I eliminacja: P ʌ Q ⊢ {P, …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.