Logické počítadlo - Logical abacus
Logické počitadlo je mechanický digitální počítač .
Také označovaný jako „logický stroj“ je logické počítadlo analogické s běžným (matematickým) počítadlem . Je založen na principu pravdivostních tabulek .
Je konstruován tak, aby ukazoval všechny možné kombinace množiny logických výrazů s jejich negativy, a dále způsob, jakým jsou tyto kombinace ovlivněny přidáním atributů nebo jiných omezujících slov, tj. Mechanicky zjednodušit řešení logických výrazů problémy. Tyto nástroje jsou více či méně propracovaným vývojem „logické břidlice“, na kterou byly ve svislých sloupcích zapsány všechny kombinace symbolů nebo písmen, které lze logicky vytvořit z určitého počtu pojmů. Ty byly porovnány s jakýmkoli daným prostorem a nekompatibilní byly zrušeny. V počitadle jsou kombinace napsány každý na jediném skluzu dřeva nebo podobné látky, který je pohybován klíčem; nekompatibilní kombinace lze tedy mechanicky odstranit dle libosti v souladu s danou řadou prostor.
Hlavními příklady takových strojů jsou například William Stanley Jevons ( logický klavír ), John Venn a Allan Marquand .
Reference
- Chisholm, Hugh, ed. (1911). Encyklopedie Britannica (11. vydání). Cambridge University Press. .
- William Stanley Jevons, Element. Lekce v logice , c. xxiii.
- Allan Marquand, Americká akademie umění a věd , 1885, str. 303–7.
- Allan Marquand, Johns Hopkins University Studies in Logic , 1883).
- Barrett, Lindsay; Connell, Matthew (2005), „Jevons and the Logic 'Piano ' “ , Rutherford Journal , 1.
- William Stanley Jevons (1869). Substituce podobných, skutečný princip uvažování, odvozený z úpravy Aristotelova výroku . Londýn: MacMillan. - Na str. 55f uvádí Jevons popis svého logického počítadla.
Tento článek včlení text z publikace, která je nyní ve veřejné doméně : Chisholm, Hugh, ed. (1911). . Encyklopedie Britannica . 1 (11. vydání). Cambridge University Press. str. 5–6.