Edited, memorised or added to reading list

on 07-Oct-2020 (Wed)

Do you want BuboFlash to help you learning these things? Click here to log in or create user.

[unknown IMAGE 5888042208524]
#_check #direct-methods #has-images #mechanics-of-laminated-composites

statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on

pdf

cannot see any pdfs




[unknown IMAGE 5888045092108]
#Ritz-method #_important #has-images #mechanics-of-laminated-composites

statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on

pdf

cannot see any pdfs




#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Joining Rule: If x and y are theorems, then \(<x \land y>\) is a theorem

statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on

pdf

cannot see any pdfs




Flashcard 5888052694284

Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Joining Rule: If x and y are theorems, then [...]
Answer
\(<x \land y>\) is a theorem


statusnot learnedmeasured difficulty37% [default]last interval [days]               
repetition number in this series0memorised on               scheduled repetition               
scheduled repetition interval               last repetition or drill

Parent (intermediate) annotation

Open it
Joining Rule: If x and y are theorems, then \(<x \land y>\) is a theorem

Original toplevel document (pdf)

cannot see any pdfs







#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Separation Rule: If \(< x \land y >\) is a theorem, then both x and y are theorems.

statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on

pdf

cannot see any pdfs




Flashcard 5888056102156

Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Separation Rule: If \(< x \land y >\) is a theorem, then [...]
Answer
both x and y are theorems.


statusnot learnedmeasured difficulty37% [default]last interval [days]               
repetition number in this series0memorised on               scheduled repetition               
scheduled repetition interval               last repetition or drill

Parent (intermediate) annotation

Open it
Separation Rule: If \(< x \land y >\) is a theorem, then both x and y are theorems.

Original toplevel document (pdf)

cannot see any pdfs







#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Double-tilde Rule: The string '~~' can be deleted from any theorem. It can also be inserted into any theorem, provided that the resulting string is itself well-formed

statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on

pdf

cannot see any pdfs




Flashcard 5888059510028

Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Double-tilde Rule: [...]
Answer
The string '~~' can be deleted from any theorem. It can also be inserted into any theorem, provided that the resulting string is itself well-formed


statusnot learnedmeasured difficulty37% [default]last interval [days]               
repetition number in this series0memorised on               scheduled repetition               
scheduled repetition interval               last repetition or drill

Parent (intermediate) annotation

Open it
Double-tilde Rule: The string '~~' can be deleted from any theorem. It can also be inserted into any theorem, provided that the resulting string is itself well-formed

Original toplevel document (pdf)

cannot see any pdfs







#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Fantasy Rule: If y can be derived when x is assumed to be a theorem, then \(< x \supset y >\) is a theorem.

statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on

pdf

cannot see any pdfs




Flashcard 5888063442188

Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Fantasy Rule: [...]
Answer
If y can be derived when x is assumed to be a theorem, then \(< x \supset y >\) is a theorem.


statusnot learnedmeasured difficulty37% [default]last interval [days]               
repetition number in this series0memorised on               scheduled repetition               
scheduled repetition interval               last repetition or drill

Parent (intermediate) annotation

Open it
Fantasy Rule: If y can be derived when x is assumed to be a theorem, then \(< x \supset y >\) is a theorem.

Original toplevel document (pdf)

cannot see any pdfs







#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Carry-over Rule: Inside a fantasy, any theorem from the "reality" one level higher can be brought in and used

statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on

pdf

cannot see any pdfs




Flashcard 5888066850060

Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Carry-over Rule: [...]
Answer
Inside a fantasy, any theorem from the "reality" one level higher can be brought in and used


statusnot learnedmeasured difficulty37% [default]last interval [days]               
repetition number in this series0memorised on               scheduled repetition               
scheduled repetition interval               last repetition or drill

Parent (intermediate) annotation

Open it
Carry-over Rule: Inside a fantasy, any theorem from the "reality" one level higher can be brought in and used

Original toplevel document (pdf)

cannot see any pdfs







#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Rule of Detachment: If x and \(< x \supset y >\) are both theorems, then y is a theorem.

statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on

pdf

cannot see any pdfs




Flashcard 5888070257932

Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Rule of Detachment: [...]
Answer
If x and \(< x \supset y >\) are both theorems, then y is a theorem.


statusnot learnedmeasured difficulty37% [default]last interval [days]               
repetition number in this series0memorised on               scheduled repetition               
scheduled repetition interval               last repetition or drill

Parent (intermediate) annotation

Open it
Rule of Detachment: If x and \(< x \supset y >\) are both theorems, then y is a theorem.

Original toplevel document (pdf)

cannot see any pdfs







#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Contrapositive Rule: \(< x \supset y >\) and \(< \neg x \supset \neg y >\) are interchangeable.

statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on

pdf

cannot see any pdfs




Flashcard 5888073665804

Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Contrapositive Rule: [...]
Answer
\(< x \supset y >\) and \(< \neg x \supset \neg y >\) are interchangeable.


statusnot learnedmeasured difficulty37% [default]last interval [days]               
repetition number in this series0memorised on               scheduled repetition               
scheduled repetition interval               last repetition or drill

Parent (intermediate) annotation

Open it
Contrapositive Rule: \(< x \supset y >\) and \(< \neg x \supset \neg y >\) are interchangeable.

Original toplevel document (pdf)

cannot see any pdfs







#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
De Morgans Rule: \(< \neg x \land \neg y>\) and \(\neg<x \lor y >\)are interchangeable

statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on

pdf

cannot see any pdfs




#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
\(< \neg x \land \neg y>\) and \(\neg<x \lor y >\) are interchangeable

statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on


Parent (intermediate) annotation

Open it
De Morgans Rule: \(< \neg x \land \neg y>\) and \(\neg<x \lor y >\) are interchangeable

Original toplevel document (pdf)

cannot see any pdfs




#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Switcheroo Rule: \(<x \lor y>\) and \(<\neg x \supset y>\) are interchangeable.

statusnot read reprioritisations
last reprioritisation on reading queue position [%]
started reading on finished reading on

pdf

cannot see any pdfs




Flashcard 5888079957260

Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Switcheroo Rule: [...]
Answer
\(<x \lor y>\) and \(<\neg x \supset y>\) are interchangeable.


statusnot learnedmeasured difficulty37% [default]last interval [days]               
repetition number in this series0memorised on               scheduled repetition               
scheduled repetition interval               last repetition or drill

Parent (intermediate) annotation

Open it
Switcheroo Rule: \(<x \lor y>\) and \(<\neg x \supset y>\) are interchangeable.

Original toplevel document (pdf)

cannot see any pdfs