John Venn was born #OTD in 1834. He is noted for introducing Venn diagrams, which are used in logic, set theory, probability, statistics, and computer science. Venn then further developed George Boole's theories in the 1881 work Symbolic Logic, where he highlighted what would become known as Venn diagrams. via nostr:npub1kvnpp3m60derhwpqwc09zhk3ehk48tr6agc6dk9z2vggu9sga28qpxhm73

Books by or about John Venn at PG:

https://www.gutenberg.org/ebooks/search/?query=John+Venn&submit_search=Go%21

#books #mathematics