Articles

Articles

A collection of articles on topics related to foundations of computer science, including logic, programming language theory, and program correctness.

Is every human being an Autonomous System?

22 min

Opinion

Artificial Intelligence

Every person on-line can be seen as an information system, with a current brain state, a state update function, inputs and outputs. But if nobody records their inputs…

Hans-Dieter A. Hiep

Aug 30, 2026

The Internet: A Failed Mass Experiment?

13 min

Opinion

Artificial Intelligence

The Internet was never approved as an experiment on human beings, yet it became one: an uncontrolled trial in which anyone could test anything on anyone, with no…

Hans-Dieter A. Hiep

Aug 3, 2026

A sound and complete proof system for separation logic (part 1)

26 min

Original Research

Program Correctness

A novel proof system for separation logic is explained.

Hans-Dieter A. Hiep, Frank S. de Boer

Jun 29, 2024

On invariance and inconsistency

24 min

Lecture Notes

Program Correctness

Program correctness is not easy: the requirements of a program may be inconsistent, or there may not even exist a correct program that satisfies the requirements. This…

Hans-Dieter A. Hiep

Feb 16, 2024

Can the Collatz conjecture be proven, or not?

24 min

Open Review

Program Correctness

We review a recent preprint article about the Collatz conjecture. The Collatz conjecture is a more than eighty years old problem that is still unsolved.

Hans-Dieter A. Hiep

Nov 1, 2023