Những người đặt nền móng cho khoa học máy tính đều là những người theo phái thực chứng

Khái niệm::
những người đặt nền móng cho ngành khoa học máy tính:

Nhân vật	Đóng góp
Pascal
Babbage	Phát minh ra máy tính cơ học đầu tiên
Lovelace	Là lập trình viên đầu tiên, dựa trên máy của Babbage
Von Neumann
Alan Turing
Claude Shannon	Là cha đẻ của lý thuyết thông tin
Dijkstra	Đề xướng nguyên lý tách biệt các mối bận tâm (separation of concern), hay nói nôm na là chia để trị

Von Neumann và Alan Turing là 2 người quan trọng nhất trong số này. Họ dựa trên những nghiên cứu của những triết gia thực chứng như Gottlob Frege, Bertrand Russell, Ludwig Wittgenstein để tạo ra những chiếc máy tính như ta có ngày nay. Những người này cũng là những triết gia ngôn ngữ. Triết học ngôn ngữ là trung tâm của triết học khoa học máy tính

Phái thực chứng (positivism) tin rằng vũ trụ của chúng ta giống như một cái đồng hồ, mà ta có thể lật lên các định luật chi phối vũ trụ bằng quan sát, thí nghiệm, và quy giản. Nó tin rằng kiến thức nằm bên ngoài ta, và ta chỉ việc khám phá ra nó. Nó sử dụng các phương pháp khoa học cho những hệ xã hội. Nó cho ta máy tính, và cũng cho ta sự khủng hoảng phần mềm.

(Ngược lại, phái diễn giải (interpretivism) cho rằng có nhiều góc nhìn khác nhau cho cùng một thực tại. Nó tin rằng kiến thức được lưu truyền qua ý tưởng và tranh luận. Nó từ chối việc sử dụng các phương pháp khoa học cho những hệ xã hội.)

Nguồn::