John E. Littlewood (1885–1977) An Informal Obituary

@article{Bateman1978JohnEL,
  title={John E. Littlewood (1885–1977) An Informal Obituary},
  author={P. T. Bateman and Harold G. Diamond},
  journal={The Mathematical Intelligencer},
  year={1978},
  volume={1},
  pages={28-33}
}
4 Citations
Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration
  • C. Lange
  • Computer Science
  • Studies on the Semantic Web
  • 2011
TLDR
The results of this thesis will soon enable collaborative acquisition of new mathematical knowledge, as well as the contribution of existing knowledge collections to the Web of Data. Expand
SOCIAL PROCESSES AND PROOFS OF
Many people have argued that computer programming should strive to become more like mathematics. Maybe so, but not in the way they seem to think. The aim of program verification, an attempt to makeExpand
Social processes and proofs of theorems and programs
TLDR
It is argued that formal verifications of programs will not play the same key role in the development of computer science and software engineering as proofs do in mathematics because of the absence of continuity, inevitability of change, and the complexity of specification of significantly many real programs. Expand