13 Matching Annotations
  1. Jan 2023
    1. Woit does not, for the most part, follow the death march of proposition, lemma, proof. He writes in the style of a theoretical physicist.

      "death march of proposition, lemma, proof"

      This is a bit harsh n'cest pas?

  2. Oct 2022
    1. I am not much like Turner ; but I believe that I am like him in that Iam aware that in history you cannot prove an inference. You cannotprove causation, much as you crave to do it. You may present sequencesof events, whose relationship suggests a link-up of cause and consequence ;

      you may carry on the inquiry for a lifetime without discovering other events inconsistent with the hypothesis which has caught your eye. But you can never get beyond a circumstantial case. . . .<br /> "A Footnote to the Safety-Valve," August 15, 1940, Paxson Papers (University of California Library, Berkeley)

    1. If you give a title to your notes, "claim notes" are simply notes with a verb. They invite you to say: "Prove it!" - "The positive impact of PKM" (not a claim) - "PKM has a positive impact in improving writer's block" (claim) A small change with positive mindset consequences

      If you give a title to your notes, "claim notes" are simply notes with a verb.<br><br>They invite you to say: "Prove it!"<br><br>- "The positive impact of PKM" (not a claim)<br>- "PKM has a positive impact in improving writer's block" (claim)<br><br>A small change with positive mindset consequences

      — Bianca Pereira | PKM Coach and Researcher (@bianca_oli_per) October 6, 2022
      <script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script>

      Bianca Pereira coins the ideas of "concept notes" versus "claim notes". Claim notes are framings similar to the theorem or claim portion of the mathematical framing of definition/theorem(claim)/proof. This set up provides the driving impetus of most of mathematics. One defines objects about which one then advances claims for which proofs are provided to make them theorems.

      Framing one's notes as claims invites one to provide supporting proof for them to determine how strong they may or may not be. Otherwise, ideas may just state concepts which are far less interesting or active. What is one to do with them? They require more active work to advance or improve upon in more passive framings.

      link to: - Maggie Delano's reading framing: https://hypothes.is/a/4xBvpE2TEe2ZmWfoCX_HyQ

  3. Jul 2022
  4. Jun 2022
  5. Mar 2021
    1. you are sent only the numbers (t(s)h(s) k) and (w(s)v(s) k)

      Who is sending to whom? What does it prove if you are sent two identical numbers? Poor explanation :-(

    2. a secret evaluation point s

      only one?

    3. permutes

      How is that permuting? Permutation means changing the ordering.

    4. t(s)h(s) = w(s)v(s)

      Seems to imply calculation of E(t(s))E(h(s)) etc. using homomorphic properties, but fails to explain that, or even what the homomorphic properties allow.

  6. Feb 2021
    1. Zero-knowledge proofs present the solution. The enterprise can prove it's the recipient of upcoming payments without revealing all the business details it may rightly want to keep private.

      zero knowledge proofs

  7. Jan 2019
  8. Feb 2014
    1. You're as bad as that character in Moliere who didn't know he was talking prose! You've b een committing philosophical nonsense with your \rigorous pro ofs of existence". Don't you know that what exists has to b e observed, or at least observable?
  9. Sep 2013
    1. t is evident from what has been said that it is these three subjects, more than any others, about which the orator must be able to have propositions at his command. Now the propositions of Rhetoric are Complete Proofs, Probabilities, and Signs. Every kind of syllogism is composed of propositions, and the enthymeme is a particular kind of syllogism composed of the aforesaid propositions.

      As laid out and defined in detail, with relation to subject, each concerning time, purpose, goal, listener, and methods, and degrees, understand appropriateness of the propositions applying to each.