Basket of Fruit (Caravaggio) Basket of Fruit (Caravaggio) Basket of Fruit (c.1599) is a still life painting by the Italian Baroque master Michelangelo Merisi da Caravaggio (1571–1610), which hangs in the Biblioteca Ambrosiana (Ambrosian Library), Milan. It shows a wicker basket perched on the edge of a ledge. The basket contains a selection of summer fruit: ... a good-sized, light-red peach attached to a stem with wormholes in the leaf resembling damage by oriental fruit moth (Orthosia hibisci). Beneath it is a single bicolored apple, shown from a stem perspective with two insect entry holes, probably codling moth, one of which shows secondary rot
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,