HUMANS AND MACHINES

in #humanos7 years ago

Since ancient times, humans have been chasing machines to replace it in some of the tasks that take a lot of time and effort.

In the case of tasks involving reasoning, this nl is an exception. Throughout the last century a systematic process of preparation of the logical syntax was undertaken so that it could be treated by a computer.

The reduction of the formula formats to a standardized form and the meeting of the reference rules in a single format, called a resolution, allowed this process. Consequence of it was the transformation and, therefore, the involvement of the computer science in the logic.

Thanks for reading, ok?

Coin Marketplace

STEEM 0.24
TRX 0.22
JST 0.037
BTC 98245.75
ETH 3430.51
USDT 1.00
SBD 3.35