People have been creating geometric figures with computer programs consisting of turtle commands such as forward and right since the late 1960s [1]. Here I describe a program that takes in two such programs and produces a new program capable of producing both figures and all the intermediate figures. It can produce a figure that is one third circle and two thirds triangle or one that is half st...

The preservation of your identity is a fundamental right. In many situations, you need to claim your identity and this claim needs to be verified somehow. The technology called biometrics may help. But, what if a deliberate impostor claims your identity? Will this forgery be always detected? Biometric identity verification is imperfect. This presentation will review some of the techniques that ...

With the rise of importance of sport as a social phenomenon in recent decades, more public attention has been paid to the issue of the legal nature of the rules governing social relations in sports. The issue raised above are only a part of a much broader topic that involves questions of relations of a classical Westphalian state and changes in the international community as well as issues of t...

For—according to the lore—any attempt at pullingoff this featwill reduce themtomaterial implicationand that is decidedlynot agoodwayof assigning truth-conditions to ordinary indicative if s. That is too bad since it seems like they are bounded from above by strict implication (they are true when their antecedents straight out imply their consequents), are bounded from below by material implicat...

I prove that if markets are efficient, meaning current prices fully reflect all information available in past prices, then P = NP , meaning every computational problem whose solution can be verified in polynomial time can also be solved in polynomial time. I also prove the converse by showing how we can “program” the market to solve NP -complete problems. Since P probably does not equal NP , ma...