veyepar: A brief history of math writing: symbol, structure, and proof

Hi user

Admin Login:

Name: A brief history of math writing: symbol, structure, and proof
--client eric --show wtd_na_2015 --room crystal_ballroom 9718 --force
Prev: 11 A Developers Approach to Documentation: From Passive to Dynamic
Next: 11 The Science of Creating Unforgettable Content

show more...

Author(s):	Emily Hoffmann, Alfonso Roman
Location	Crystal Ballroom
Date	may Mon 18	Days Raw Files
Start	14:30	First Raw Start	14:20
Duration	00:30:00	Offset	0:09:41
End	15:00	Last Raw End	15:01
Chapters	00:00
Total cuts_time	28 min.

http://lanyrd.com/2015/writethedocs/sdmwyb/
raw-playlist raw-mp4-playlist encoded-files-playlist host public tweet mp4 svg png

final audio

assets release.pdf A_brief_history_of_math_writing_symbol_structure_and_proof.json
logs
Admin: episode episode list cut list raw files day marks day marks day image_files

State:
Locked:	clear this to unlock
Locked by:	user/process that locked.
Start:	initially scheduled time from master, adjusted to match reality
Duration:	length in hh:mm:ss
Name:	Video Title (shows in video search results)
Emails:	email(s) of the presenter(s)
Released:	has someone authorised pubication
Normalise:
Channelcopy:	m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:	filename.png
Description:	A mathematical proof is a logically rigorous way of showing that something is true. It begins with a statement of the desired result and any assumptions that must be made. It guides the reader through a set of logical sequential steps, supported by figures to aid intuition or cross-references for prerequisite knowledge. It ends by declaring that the desired result has been achieved. At risk of insulting every mathematician who ever lived, in many ways a proof is not so different from a grand, abstract how-to document. Perhaps surprisingly, for most of human history mathematical proofs and mathematics itself have been written in prose. Even those of us who cringe at the memory of high school algebra can agree that “10x + y^2 = 3” is more user-friendly than “the sum of an unknown quality multiplied by ten and another unknown quantity multiplied by itself is equal to three”. The first part of this talk explores the development of mathematical writing, which can be divided into improvements in symbolic representation and improvements in structure. This discussion is partly inspired by Bret Victor’s observation that the most influential breakthroughs in the history of mathematics were actually breakthroughs in “UI design”, for example the invention of arabic numerals (0, 1, 2, 3,...) as a replacement for clunky roman numerals (I, II, III, IV…). Proofs and rigorous documentation empower their readers to greater understanding by never relying on authority or persuasion. A mathematical proof, unlike a scientific experiment or a souffle recipe, must show that the desired result is always achieved when the right steps are executed under the right conditions. Users of computer applications certainly expect documentation to live up to the same standards. The second part of this talk explores the concept of mathematical proof in more depth. We will look at how proofs are structured and use logic in a particular way to minimize ambiguity and maximize credibility, and how the writing process is itself a powerful tool to root out hidden assumptions and errors in thinking. markdown
Comment:	production notes

2015-05-18/14_20_19.dv Apply: 14:20:19 - 14:31:47 ( 00:11:28 ) S: 14:20:19 - E: 14:31:47 D: 00:11:28 show more...

vlc ~/Videos/veyepar/eric/wtd_na_2015/dv/crystal_ballroom/2015-05-18/14_20_19.dv :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	14:20:19		seconds: 0.0 Wall: 14:20:19
Duration	00:11:28
	14:31:47		seconds: 0.0 Wall: 14:20:19
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2015-05-18/14_31_48.dv Apply: 14:31:48 - 14:32:15 ( 00:00:27 ) S: 14:31:48 - E: 14:32:15 D: 00:00:27 show more...

vlc ~/Videos/veyepar/eric/wtd_na_2015/dv/crystal_ballroom/2015-05-18/14_31_48.dv :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	14:31:48		seconds: 0.0 Wall: 14:31:48
Duration	00:00:27
	14:32:15		seconds: 0.0 Wall: 14:31:48
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2015-05-18/14_32_15.dv Apply: 14:32:15 - 15:01:05 ( 00:28:50 ) S: 14:32:15 - E: 15:01:05 D: 00:28:50 show more...

vlc ~/Videos/veyepar/eric/wtd_na_2015/dv/crystal_ballroom/2015-05-18/14_32_15.dv :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	14:32:15		seconds: 0.0 Wall: 14:32:15
Duration	00:28:50
	15:01:05		seconds: 0.0 Wall: 14:32:15
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

Rf filename:	root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:	check and save to add this

2015-05-18/14_20_19.dv
audio viz

audio viz

2015-05-18/14_31_48.dv
audio viz

audio viz

2015-05-18/14_32_15.dv
audio viz

audio viz

Veyepar Video Eyeball Processor and Review