This may be unfair to Leibniz's work on logic, which IIRC achieved something like Boolean algebra: http://en.wikipedia.org/wiki/Gottfried_Wilhelm_Leibniz#Formal

This may be unfair to Leibniz's work on logic, which IIRC achieved something like Boolean algebra: http://en.wikipedia.org/wiki/Gottfried_Wilhelm_Leibniz#Formal_logic http://en.wikipedia.org/wiki/Gottfried_Wilhelm_Leibniz#Forma... (The work went unpublished till 1903. I can't be confident this is unfair because I never finished reading the long paper reviewing it.)