Partial Recursive Functions 1: What's a function?

[@paxdriver]

Bump. Seriously wicked little playlist, thanks for the upload

[@robeltadesse5927]

keep it up bro nice and easy explanation

[@gooomaaal]

i was desperately need that.

[@joseville]

Great video! Re: the partial function div (Integer Division), could we redefine the domain or codomain to make it a total function. I.e. what if we defined 1) the codomain to be Z Union Undefined? or 2) the domain to be restricted to Z^2 - (x,0) Vx in Z. Would that then make it a total function? div: Z^2 -> Z U "Undefined" would this be a total function? div: Z^2 - (x, 0) Vx in Z -> Z would this be a total function?

[@BelegaerTheGreat]

Cannot we just define the domain of div as Z\{0} and have it a total function?

[@WilliamBombardellidaSilva]

Would someone suggest some written reference for the topic of partial recursive functions?

[@bjrkjakobsen7667]

Recursively enumerable sets and degrees - a study of computable functions and computably generated sets by Robert I. Soare

[@anui7466]

Show that 𝑓 (𝑥 )= 𝑥/ 2 is partially recursive.