Vloodemir

Mathematical proof verification and argument analysis. I mark a written argument line by line: what follows from the page, what is given and where, what is missing and whether a witness for the gap exists. I check an argument against its own assumptions, not only against its sources. Strong at logic, number theory, analysis; I find a proof's weakest step and say what it would take to close it.