“Von Neumann languages do not have useful properties for reasoning about programs. Axiomatic and denotational semantics are precise tools for describing and understanding conventional programs, but they only talk about them and cannot alter their ungainly properties. Unlike von Neumann languages, the language of ordinary algebra is suitable both for stating its laws and for transforming an equation into its solution, all within the "language."” LawLanguageUnderstandingSolutionsOrdinaryProgramToolsPropertyReasoningConventionalPreciseEquationsTransformingDescribingSuitableAlgebraSemanticsVon Neumann Author:John Backus
“I’m trying to learn more about international law to understand why we don’t have better solutions for conflict - for dictators or aggressors that are hurting or raping children or using them as child soldiers. Why can’t we have an international community handle these things in a swift, efficient manner?” TryingChildrenLawCommunityHurtConflictSolutionsSoldierInternationalHandleEfficientDictatorInternational CommunityInternational LawAggressorsChild Soldier Author:Angelina Jolie
“The time has come to move beyond eco-elitism to eco-populism. Ecopopulism. To change our laws and culture, the green movement justice, political solutions and social change.” MovingLawPoliticalCultureSocialJusticeMovementSolutionsGreenSocial ChangeEcoElitismPopulismGreen Movement Author:Van Jones
“I am fully assured, that no general method for the solution of questions in the theory of probabilities can be established which does not explicitly recognize, not only the special numerical bases of the science, but also those universal laws of thought which are the basis of all reasoning, and which, whatever they may be as to their essence, are at least mathematical as to their form.” MayDoeFormLawSpecialTheorySolutionsEssenceUniversalBasesMethodMathematicalReasoningProbabilityAssuredUniversal Laws Book:Collected Logical Works Source: Collected Logical Works
“In addition to the social pressures from the scientific community there is also at work a very human trait of individual scientist. I call it the law of the instrument , and it may be formulated as follows: Give a small boy a hammer, and he will find that everything he encounters needs pounding. It comes as no particular surprise to discover that a scientist formulates problems in a way which requires for their solution just those techniques in which he himself is especially skilled.” WayNeedsGivingHumansMayProblemLawIndividualSocialCommunityBoysParticularSolutionsScientistPressureInstrumentsSurpriseTechniqueEncountersTraitsHammersSocial Pressure Book:The Conduct of Inquiry: Methodology for Behavioural Science Source: The Conduct of Inquiry: Methodology for Behavioural Science