I'm not a politician, I'm an artist. And I think the artist's role is to be a mirror to society.
我不是政治家,我是艺术家。我认为艺术家的角色是成为社会的镜子。
When we can't talk about something, it becomes dangerous.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。