EntropediaEntropedia

Logical Equality

Symbol

==

Originator

Gottfried Leibniz

Description

Logical equality

Disciplines

Philosophy • Mathematics • Computing • Information systems

Popularizer

David Hilbert

Present use

Staple of programming languages and business information systems.

Introduced in

17th century

Popularized in

19th century

First applied in

Automata theory • Digital electronics

Logical Equality