“The establishment of formal standards for proofs about programs... and the proposal that the semantics of a programming language may be defined independently of all processors for that language, by establishing standards of rigor for proofs about programs in the language, appears to be novel.” MayLanguageNovelStandardsProgramProofDefinedProgrammingEstablishmentFormalProposalProgramming LanguagesRigorSemanticsProcessors Author:Robert W. Floyd
“There is an inherent dissonancebetween the quasi-formal world of computer programs - defining the programmed machine in each system - and the non-formal problem world of the system requirements.” WorldProblemComputerProgramMachinesInherentFormalRequirementsDefining Author:Michael Jackson
“The reason that no computer program can ever be a mind is simply that a computer program is only syntactical, and minds are more than syntactical. Minds are semantical, in the sense that they have more than a formal structure, they have a content.” MindReasonComputerProgramStructureFormal Author:John Searle
“If you look at countries like South Africa, where you had a black majority, there have been efforts to tax and help that black majority, but it hasn't come in the form of a formal reparations program.” IfsLooksHas BeensCountryHelpingFormBlackEffortTaxesProgramMajoritySouthSouth AfricaFormalReparations Author:Barack Obama