Aristotle (384-322 B.C.),whose bust

Aristotle (384-322 B.C.),whose bust appears on the front cover of this book, was the first
to formulate a precise set of laws governing the rational part of the mind. He developed an
informal system of syllogisms for proper reasoning, which in principle allowed one to generate
conclusions mechanically, given initial premises. Much later, Ramon Lull (d. 1315) had
the idea that useful reasoning could actually be carried out by a mechanical artifact. Thomas
Hobbes (1588-1679) proposed that reasoning was like numerical computation, that "we add
and subtract in our silent thoughts." The automation of computation itself was already well
under way. Around 1500, Leonardo (La Vinci (l452-1519)designed but did not build a mechanical
calculator; recent reconstructions have shown the design to be functional. The first
known calculating machine was constructed mound 1623 by the German scientist Wilhelm
Schickard (1592-1635), although the Pascaline, built in 1642 by Blaise Pascal (1623-16621,

Kết quả (Việt) 1:

Aristotle (384-322 B.C.),whose phá sản xuất hiện trên bìa của cuốn sách này, là người đầu tiênđể xây dựng một bộ luật chi phối phần hợp lý của tâm chính xác. Ông đã phát triển mộtCác hệ thống không chính thức của syllogisms cho lý luận thích hợp, điều này về nguyên tắc cho phép một để tạo rakết luận về mặt cơ học, được đưa ra cơ sở ban đầu. Sau đó, Ramon Lull (mất 1315) cóý tưởng hữu ích lý do thực sự có thể được thực hiện bởi một artifact cơ khí. ThomasHobbes (1588-1679) đề xuất rằng lý do như tính toán số, "chúng tôi thêm"và trừ trong im lặng suy nghĩ của chúng tôi." Tự động hóa của tính toán riêng của mình đã tốttheo cách. Khoảng 1500, Leonardo (La Vinci (l452-1519) thiết kế nhưng không xây dựng một cơ khímáy tính; tại tái tạo đã cho thấy việc thiết kế là chức năng. Người đầu tiênđược biết đến calculating máy được xây dựng gò 1623 bởi các nhà khoa học Đức WilhelmSchickard (1592-1635), mặc dù Pascaline, xây dựng năm 1642 bởi Blaise Pascal (1623-16621,

Kết quả (Việt) 2:

Aristotle (384-322 BC), có bức tượng bán thân xuất hiện trên trang bìa của cuốn sách này, là người đầu tiên
để xây dựng một tập hợp chính xác của luật quản lý các phần hợp lý của tâm. Ông đã phát triển một
hệ thống chính thức của tam đoạn luận cho lý luận thích hợp, mà về nguyên tắc cho phép một để tạo ra
các kết luận một cách máy móc, đưa mặt bằng ban đầu. Mãi về sau, Ramon ru (d. 1315) đã có
những ý kiến cho rằng lý luận hữu ích có thể thực sự được thực hiện bởi một tạo tác cơ khí. Thomas
Hobbes (1588-1679) đề xuất rằng lập luận giống như tính toán số, rằng "chúng ta thêm
và trừ trong suy nghĩ của chúng tôi im lặng. " Việc tự động hóa tính toán riêng của mình là đã tốt
theo cách nào. Khoảng 1500, Leonardo (La Vinci (l452-1519) được thiết kế nhưng đã không xây dựng một cơ
tính; tái tạo gần đây đã chỉ ra các thiết kế để được chức năng đầu tiên.
Máy tính được biết đến đã được xây dựng gò 1623 bởi các nhà khoa học Đức Wilhelm
Schickard (1592-1635 ), mặc dù các Pascaline, được xây dựng vào năm 1642 bởi Blaise Pascal (1.623-16.621,