Информация о книге

0262133938

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Интернет, Интранет, компьютерные сети » Интернет и сети: общие вопросы, основы » Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

MacKenzie D., Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

, 0262133938


Описание книги

Most aspects of our private and social lives?-our safety, the integrity of the financial system, the functioning of utilities and other services, and national security--now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over the last half century from the perspectives of history and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive interviews with participants. MacKenzie argues that our culture now contains two ideals of proof: proof as traditionally conducted by human mathematicians, and formal, mechanized proof. He describes the systems constructed by those committed to the latter ideal and the many questions those systems raise about the nature of proof. He looks at the primary social influence on the development of automated...

Поделиться ссылкой на книгу




Об авторе

MacKenzie D.


Последние поступления в рубрике "Интернет и сети: общие вопросы, основы"



Styling для Instagram. Что и как снимать, чтобы добиться успеха Styling для Instagram. Что и как снимать, чтобы добиться успеха Сид Л.

«Как снимать для Instagram», «как вести Instagram», «секреты Instagram» – такие запросы в поисковиках ежедневно пишут тысячи людей. Книга писательницы, фотографа и популярного блогера Лилы Сид дает......

Word of Mouth Traceability in Facebook Word of Mouth Traceability in Facebook 

What if you could trace Word-of-Mouth about your company in Facebook? Is it technically possible? What if you could frame your target group by just observing how Word-of-Mouth spreads through the internet?...

Study of Value Perception (Facebook V/S Print Media) Study of Value Perception (Facebook V/S Print Media) 

The purpose of this paper is to compare customer’s perceptions of the value of advertising on social network sites (SNSs) to their perceptions of the value of Print media advertising. Data was collected through questionnaire from a sample of 235 and was analyzed using SPSS....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги MacKenzie D., Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.