Mathematician blamed alongside Boole for logical systems that lead computer science majors to nihilistic materialism