Open Access. Powered by Scholars. Published by Universities.®
Programming Languages and Compilers Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Anthropology (1)
- Art and Design (1)
- Arts and Humanities (1)
- Communication (1)
- Communication Technology and New Media (1)
-
- Data Science (1)
- Databases and Information Systems (1)
- Economics (1)
- Graphic Communications (1)
- Graphic Design (1)
- Graphics and Human Computer Interfaces (1)
- Income Distribution (1)
- Inequality and Stratification (1)
- Interactive Arts (1)
- Interdisciplinary Arts and Media (1)
- Labor Economics (1)
- Mass Communication (1)
- Other Computer Sciences (1)
- Political Economy (1)
- Political Science (1)
- Political Theory (1)
- Politics and Social Change (1)
- Science and Technology Studies (1)
- Social Influence and Political Communication (1)
- Social and Behavioral Sciences (1)
- Social and Cultural Anthropology (1)
- Sociology (1)
- Keyword
Articles 1 - 2 of 2
Full-Text Articles in Programming Languages and Compilers
What Does One Billion Dollars Look Like?: Visualizing Extreme Wealth, William Mahoney Luckman
What Does One Billion Dollars Look Like?: Visualizing Extreme Wealth, William Mahoney Luckman
Dissertations, Theses, and Capstone Projects
The word “billion” is a mathematical abstraction related to “big,” but it is difficult to understand the vast difference in value between one million and one billion; even harder to understand the vast difference in purchasing power between one billion dollars, and the average U.S. yearly income. Perhaps most difficult to conceive of is what that purchasing power and huge mass of capital translates to in terms of power. This project blends design, text, facts, and figures into an interactive narrative website that helps the user better understand their position in relation to extreme wealth: https://whatdoesonebilliondollarslooklike.website/
The site incorporates …
Relating Justification Logic Modality And Type Theory In Curry–Howard Fashion, Konstantinos Pouliasis
Relating Justification Logic Modality And Type Theory In Curry–Howard Fashion, Konstantinos Pouliasis
Dissertations, Theses, and Capstone Projects
This dissertation is a work in the intersection of Justification Logic and Curry--Howard Isomorphism. Justification logic is an umbrella of modal logics of knowledge with explicit evidence. Justification logics have been used to tackle traditional problems in proof theory (in relation to Godel's provability) and philosophy (Gettier examples, Russel's barn paradox). The Curry--Howard Isomorphism or proofs-as-programs is an understanding of logic that places logical studies in conjunction with type theory and -- in current developments -- category theory. The point being that understanding a system as a logic, a typed calculus and, a language of a class of categories constitutes …