> ... handwaves away that .. These kind of handwaveing are quite common in math....

		j16sdiz on July 9, 2024 \| parent \| context \| favorite \| on: The zombie misconception of theoretical computer s... > ... handwaves away that .. These kind of handwaveing are quite common in math. For example, Axiom of Choice assume there exists a choice function. It does not specify how.