Actor model, mathematical logic, and quantum physics