4 ms·

Ah okay I see where you are going with proofs. I format my anki cards similarly for longer expanded question: E.g. - Question - Short Answer (e.g. the conce

Ah okay I see where you are going with proofs. I format my anki cards similarly for longer expanded question: E.g. - Question - Short Answer (e.g. the conceptual idea and starting point for solving the proof) - Long answer (the full proof) What I tried to do instead, is reword each question slightly to ask a different part of the proof. Keep the long-answer the same, but modify the short-answer slightly. I find from my experience the anki question/answer needs to be a one-liner though. I use a yellow highlighted background for the short-answer portion. Its a basic front/back question/answer with some specialized stylesheets I made. ------------------------------------------------------------------ which allows me to split up a proof into parts. I almost always actually use it to separate the "forward" and "backward" directions of an "if and only if" proof, since they are relatively separate anyway, but I do want to keep the card logically together. Are you chaining multiple questions / answers in one card? Something similar to glutanimate's video here? https://www.youtube.com/watch?v=ag4Hdnkig8U https://www.youtube.com/watch?v=ag4Hdnkig8U

edanm 8y ago
No, no chaining. I just do the equivalent of having two cards. They would be: Q1: "Prove that condition A iff condition B [Prove forward direction]" A1: "Assume A. Then [...] implies condition B." Q2: "Prove that condition A iff condition B [Prove backward direction]" A2: "Assume B. Then [...] implies condition A." Just that instead of generating this manually, I have a note type that allows me to put in the question once, then add the two answers, and it generates these two cards. In reality it's a bit more complicated, because I can have more than 2 proofs, and can give each a title. E.g. sometimes you have theorems of the form "All of the following conditions are equivalent: 1) 2) 3) 4)." And then the proofs can be something like "1 implies 2, 2 implies 1. 3,4 imply 2, 1 implies 3" or some complicated thing like that. But these are pretty rare, it's usually just at most a 2 part backwards and forwards proof.
- Kagerjay 8y ago
  can you make a screenshot sample of one note generating two cards? I know how this is setup on anki, but I'm curious to see the actual math content you write there. at least for the common 2part backwards and forward proof, not the really obscure case ones. Are you essentially solving the same question in two different ways? (forward proof, and backward proof) Or are they two unique questions each asking different things? (in the same related family of topics) I'm working on improving my ability to write math proofs atm so I would find this helpful
  - edanm 8y ago
    Sure, here is a link to an example [1]. > Are you essentially solving the same question in two different ways? (forward proof, and backward proof) I'm talking of the standard "forwards and backwards" proof that you have to do to show two conditions equivalent. I.e. if you have cond 1 iff cond 2, you need to both prove that cond 1 implies cond 2, and that cond 2 implies cond 1. (Or that not cond 1 implies not cond 2). So it's often a similar proof, but not always. [1]: https://imgur.com/wjPLlVb https://imgur.com/wjPLlVb
    - Kagerjay 8y ago
      This makes much more sense now thanks :) Last 2 questions just related to just formatting cards Does that render with inline-Latex on each card (e.g. are you using a latex anki plugin?) Do you use powerformat pack plugin https://ankiweb.net/shared/info/162313389 https://ankiweb.net/shared/info/162313389
      - edanm 8y ago
        I'm using a method which allows you to use Mathjax inside of Anki. I'm not sure where the instructions are, but it involves creating custom note types with extra code that loads Mathjax. The good news is that the new Anki 2.1 which just came out has built-in Mathjax support, so if you're using that, you can just start using Mathjax. Note that the default Mathjax code is not $ and $$, but this is configurable (though if I were starting from scratch I'd probably just use the default).

edanm 8y ago

No, no chaining. I just do the equivalent of having two cards. They would be: Q1: "Prove that condition A iff condition B [Prove forward direction]" A1: "Assume A. Then [...] implies condition B." Q2: "Prove that condition A iff condition B [Prove backward direction]" A2: "Assume B. Then [...] implies condition A." Just that instead of generating this manually, I have a note type that allows me to put in the question once, then add the two answers, and it generates these two cards. In reality it's a bit more complicated, because I can have more than 2 proofs, and can give each a title. E.g. sometimes you have theorems of the form "All of the following conditions are equivalent: 1) 2) 3) 4)." And then the proofs can be something like "1 implies 2, 2 implies 1. 3,4 imply 2, 1 implies 3" or some complicated thing like that. But these are pretty rare, it's usually just at most a 2 part backwards and forwards proof.

Kagerjay 8y ago
can you make a screenshot sample of one note generating two cards? I know how this is setup on anki, but I'm curious to see the actual math content you write there. at least for the common 2part backwards and forward proof, not the really obscure case ones. Are you essentially solving the same question in two different ways? (forward proof, and backward proof) Or are they two unique questions each asking different things? (in the same related family of topics) I'm working on improving my ability to write math proofs atm so I would find this helpful
- edanm 8y ago
  Sure, here is a link to an example [1]. > Are you essentially solving the same question in two different ways? (forward proof, and backward proof) I'm talking of the standard "forwards and backwards" proof that you have to do to show two conditions equivalent. I.e. if you have cond 1 iff cond 2, you need to both prove that cond 1 implies cond 2, and that cond 2 implies cond 1. (Or that not cond 1 implies not cond 2). So it's often a similar proof, but not always. [1]: https://imgur.com/wjPLlVb https://imgur.com/wjPLlVb
  - Kagerjay 8y ago
    This makes much more sense now thanks :) Last 2 questions just related to just formatting cards Does that render with inline-Latex on each card (e.g. are you using a latex anki plugin?) Do you use powerformat pack plugin https://ankiweb.net/shared/info/162313389 https://ankiweb.net/shared/info/162313389
    - edanm 8y ago
      I'm using a method which allows you to use Mathjax inside of Anki. I'm not sure where the instructions are, but it involves creating custom note types with extra code that loads Mathjax. The good news is that the new Anki 2.1 which just came out has built-in Mathjax support, so if you're using that, you can just start using Mathjax. Note that the default Mathjax code is not $ and $$, but this is configurable (though if I were starting from scratch I'd probably just use the default).