John Venn

John Venn

John Venn (ur. 4 sierpnia 1834 w Kingston upon Hull (Yorkshire), zm. 4 kwietnia 1923 w Cambridge), angielski matematyk, logik i filozof, zajmujący się również konstruowaniem maszyn. Najbardziej znany jako twórca diagramów Venna, użytecznych we wnioskowaniu w logice i teorii zbiorów. Opisał je po raz pierwszy w: John Venn: On the diagrammatic and mechanical representation of propositions and reasonings. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science [Fifth Series], 9(59), July 1880, pp. 1-18 i rozwinął w traktacie: John Venn: Symbolic Logic, MacMillan, London 1881, (2nd ed. 1894).

Zmarł w 1923 w Cambridge w wieku 89 lat.

Zobacz też

• Diagram Venna

Linki zewnętrzne

• John J. O'Connor; Edmund F. Robertson: John Venn w MacTutor History of Mathematics archive (ang.)