The proof uses logic (incompleteness of ZFC) [thus on-topic in this list], algorithms taking algorithms as input, inversion of bijections, reduction of SAT to another NP problem [using logic].
https://drive.google.com/file/d/16Ws_eZF8f-rn1mFvkIT-UdMdvTwOu4vO/view?usp=drive_link A practically efficient NP-complete algorithm is not yet found. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2d1d5021-f4ef-4760-979f-03f9aa8bf56en%40dimap.ufrn.br.
