McCarthy Formalism

McCarthy formalism is a type of mathematical logic that is used to describe and analyze computer programs. It was created by John McCarthy, an American computer scientist and inventor. Basically, it describes a computer program as a set of symbols, words and numbers that represent what the computer should do. It helps computers understand and carry out instructions.