Braeburn Braeburn The 'Braeburn' is a cultivar of apple that is firm to the touch with a red/orange vertical streaky appearance on a yellow/green background. Its color intensity varies with different growing conditions. It was discovered as a chance seedling in 1952 by the farmer O. Moran from Waiwhero in the Moutere Hills near Motueka, New Zealand. It was then cultivated by the Williams Brothers nursery as a potential export variety. It is a seedling from the 'Lady Hamilton' apple. The apple itself is named after Braeburn Orchard near Motueka, where it was first commercially grown. Braeburn apples have a combination
History of type theory History of type theory The type theory was initially created to avoid paradoxes in a variety of formal logics and rewrite systems. Later, type theory referred to a class of formal systems, some of which can serve as alternatives to naive set theory as a foundation for all mathematics. It has been tied to formal mathematics since "Principia Mathematica" to today's proof assistants. In a letter to Gottlob Frege (1902) Russell announced his discovery of the paradox in Frege's Begriffsschrift. Frege promptly responded, acknowledging the problem and proposing a solution in a technical discussion of "levels". To quote Frege: Incidentally,