القرن العشرين, سويسريون, علماء حاسوب, علماء رياضيات, منطقيونيوليوس ريتشارد بوشي (Julius Richard Büchi)