The proof identity problem asks: When are two proofs the same? The question naturally occurs when one reflects on mathematical practice. The problem understandably can be seen as a challenge for mathematical logic, and indeed various perspectives on the problem can be found in the proof theory literature. From the proof theory perspective, the challenge is met by laying down new calculi that el...

Patients undergoing radiation therapy struggle with many physical and emotional stressors. Many ways to help patients cope with stressors and improve the treatment experience are found in the literature, including humor, art, entertainment, and hospitality. At H. Lee Moffitt Cancer Center, the radiation therapy nurses and staff members use entertainment in an annual patient appreciation day eve...

a Nichols L. Are pathologists becoming mere technicians? [editorial]. How many hours each workday do you spend interacting with a computer screen instead of a person? As a pathologist, if you are signing out digital slides, flow cytometry or molecular diagnostic tests, interacting with a computer screen instead of a human being probably takes up most of your workday. Looking at glass slides is ...