• On Invariance and Inconsistency https://www.hansdieterhiep.nl/blog/on-invariance-and-inconsistency/ 3 comments 4/4/2024 formalmethods
• Can the Collatz conjecture be proven, or not? https://www.hansdieterhiep.nl/is-collatz-conjecture-now-proven/ 5 comments 1/11/2023 formalmethods
• Can ChatGPT do an exam? https://www.hansdieterhiep.nl/can-chatgpt-make-an-exam/ 9 comments 23/2/2023 ai , education