It means nothing. Or it could mean anything. The surrounding text is what explains the meaning you're supposed to derive from mathematical glyphs. Of course there are conventions. "x + y" usually means what most people would assume it does. And sometimes it doesn't. Read the paper to be sure.
I haven't finished watching the talk yet, but he seems to be arguing that programming languages aren't expressive enough for mathematical purposes. I suspect he's not counting all of the wordy scaffolding necessary to support those terse equations. Can it all be combined into a formal language that stands on its own? If so, might it look like a programming language?
I haven't finished watching the talk yet, but he seems to be arguing that programming languages aren't expressive enough for mathematical purposes. I suspect he's not counting all of the wordy scaffolding necessary to support those terse equations. Can it all be combined into a formal language that stands on its own? If so, might it look like a programming language?