Jean George Pierre Nicod (French: [niko]; 1 June 1893, Paris – 16 February 1924, Geneva) was a French philosopher and logician, best known for his work on propositional logic and induction. == Biography == Nicod's main contribution to formal logic was to show that classical propositional calculus could be axiomatized with only one axiom (which is now known as Nicod's axiom) and one rule of inference, both formulated using the Sheffer stroke as only connective.
Jean George Pierre Nicod (French: [niko]; 1 June 1893, Paris – 16 February 1924, Geneva) was a French philosopher and logician, best known for his work on propositional logic and induction. == Biography == Nicod's main contribution to formal logic was to show that classical propositional calculus could be axiomatized with only one axiom (which is now known as Nicod's axiom) and one rule of inference, both formulated using the Sheffer stroke as only connective.
Source: Wikipedia "Jean Nicod" · CC BY-SA 4.0
Share this article: X · Bluesky