This article in the German “ZEIT” about #373MX #MCAS brought my interest to an interesting concept that reminded my of Goedel and stuff…
“For any non-trivial property of partial functions, no general and effective method can decide whether an algorithm computes a partial function with that property.”