Ciro Santilli @cirosantilli 40

1959 by Voice of America.

Notable ones:

This is the part of the formalization of mathematics that deals only with the propositions.

In some systems, e.g. including Metamath, modus ponens alone tends to be enough, everything else can be defined based on it.

See: eigenvalues and eigenvectors.