3 Matching Annotations
  1. Oct 2024
    1. Cohen (Independence of the Axiomof Choice; The Independence of the Continuum Hypothesis I, I1) completed theproof of independence for each by showing neither could be deduced from theexisting axioms (by showing the negation of each could consistently be added tothe Zermelo—Fraenkel axiom scheme). See P. J. Cohen (Set Theory and theContinuum Hypothesis) for a discussion of these results and his intuition about thecontinuum hypothesis. Another expository reference is Cohen (IndependenceResults in Set Theory).

      In 1963 Paul Cohen completed the work of Gödel by proving the independence of the axiom of choice and the continuum hypothesis from the Zermelo-Fraenkel set theory axioms. He did this by showing that neither could be deduced from the existing axioms and specifically by showing that the negation of each could be added to ZF consistently.

  2. Jul 2024
    1. Royal Typewriter Family by [[Joe Van Cleave]]

      In Typewriter Video Series Episode 321 Joe and Kevin explore the Royal Heritage, Empress and Safari.

      The Royal Futura and subsequent Royal Heritage were successor machines to the Royal Quiet De Luxe.

      The Empress and the Safari have a sort of Jetsons (1962-1963) esthetic.


      Colloquial collection of typewriter fan names by Kevin and Joe:<br /> Cult of Hermes<br /> Royal Family<br /> Remington Rebels<br /> Smith-Corona Silent Superiors

  3. Apr 2022
    1. Henri Cartier-Bresson, Roland Barthes, 1963. © PAR79520 Henri CartierBresson/Magnum Photos.

      A photo of Roland Barthes from 1963 featured in Picturing Barthes: The Photographic Construction of Authorship (Oxford University Press, 2020) DOI: 10.5871/bacad/9780197266670.003.0007

      There appears to be in index card file behind him in the photo, which he may have used for note taking in the mode of a zettelkasten.

      link to journal article notes on:

      Wilken, Rowan. “The Card Index as Creativity Machine.” Culture Machine 11 (2010): 7–30. https://culturemachine.net/creative-media/