(mathematics) A method of proof by contradiction that is used to prove that a statement must be false for all positive integers. By showing that if it is true for one integer, it must be true for a smaller integer, an infinite number of solutions are found and a contradiction is eventually reached.

(aviation) The lowest altitude at which an aircraft is permitted to fly during a non-precision approach without the runway being in clear sight.

plural of minimum descent altitude

(machine learning, humorous) The process of choosing hyperparameters manually and in an ad-hoc manner, typical of work assigned to a graduate student.